Skip to Content

A Petri Net Semantics for pi-Calculus

   page       BibTeX_logo.png   
@incollection{pi-calculus-petri-lncs95,
   apice = {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
}

A Petri Net Semantics for pi-Calculus
— status
published
— sort
paper in proceedings
who
— authors
Nadia Busi  •  Roberto Gorrieri
— editors
Insup Lee  •  Scott Smolka
where & when
— publication date
1995
— volume
CONCUR '95: Concurrency Theory
— series
Lecture Notes in Computer Science
— volume no.
962
— pages
145–159
— number of pages
15
— publisher
Springer-Verlag