Courses
Events
Internships
Journals
Products
Projects
Publications
Talks
Theses
Toggle navigation
Search
En
It
APICe login
Home
Page Index
User Index
Application Index
Global
Languages
Default Language
Wiki Index
Publication
A Petri Net Semantics for pi-Calculus
A Petri Net Semantics for pi-Calculus
Nadia Busi, Roberto Gorrieri
Insup Lee, Scott Smolka (eds.)
CONCUR '95: Concurrency Theory
, pages 145-159
Lecture Notes in Computer Science 962
Springer-Verlag
1995
