A Petri Net Semantics for pi-Calculus

   page       BibTeX_logo.png   
Nadia Busi, Roberto Gorrieri
Insup Lee, Scott Smolka (eds.)
CONCUR '95: Concurrency Theory, pages 145-159
Lecture Notes in Computer Science 962
Springer-Verlag
1995