APICe » Publications » piCalculusPetriLncs95

A Petri Net Semantics for pi-Calculus

Nadia Busi, Roberto Gorrieri
CONCUR '95: Concurrency Theory, Lecture Notes in Computer Science 962, pages 145-159, 1995.
Insup Lee, Scott Smolka (eds.), Springer-Verlag
@incollection{piCalculusPetriLncs95,
	Author = {Busi, Nadia and Gorrieri, Roberto},
	Booktitle = {CONCUR '95: Concurrency Theory},
	Editor = {Lee, Insup and Smolka, Scott},
	Pages = {145-159},
	Publisher = {Springer-Verlag},
	Series = {Lecture Notes in Computer Science},
	Title = {A Petri Net Semantics for pi-Calculus},
	Volume = {962},
	Year = {1995}}