Combining process algebras and petri nets for the specification and systethis of asynchronious circuits (1996)

by M Pena, J Cortadella
Venue:Proc of International Symposium on Advanced Research in Asynchronous Circuits and Systems, Fucushima