A native process algebra for VHDL | Publicación