Combining process algebras and Petri nets for the specification and synthesis of asynchronous circuits (1996)

by M A Peña, J Cortadella
Venue:In Intl. Symp. Adv. Res. in Asynchronous Circ. and Sys