A Petri Net Semantics for pi-Calculus
 |
 |
@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}}
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}}