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}}

Tags:
    

Publication

A Petri Net Semantics for pi-Calculus

— status

published  

— authors

Nadia Busi, Roberto Gorrieri

— editors

Insup Lee, Scott Smolka

BibTeX

— BibTeX ID
piCalculusPetriLncs95
— BibTeX category
incollection

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY