A Petri Net Semantics for pi-Calculus

Insup Lee, Scott Smolka (a cura di)

CONCUR '95: Concurrency Theory, pp. 145-159

Lecture Notes in Computer Science 962

Springer-Verlag