A methodology for the implementation of protocols in hardware from a formal description.

Luci Pirmez Aloysio Pedroza Antônio C. Mesquita A methodology for the implementation of protocols in hardware from a formal description. 419-434 1995 conf/pstv/1995 PSTV db/conf/pstv/pstv1995.html#PirmezPM95