A Look Around the Corner: The Pi-Calculus

DOI10.1007/978-3-642-00899-3_4zbMath1235.68110OpenAlexW1579866464MaRDI QIDQ3623819

Frank Puhlmann, Mathias Weske

Publication date: 24 April 2009

Published in: Transactions on Petri Nets and Other Models of Concurrency II (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-00899-3_4

Mathematics Subject Classification ID

Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Soundness of workflow nets: classification, decidability, and analysis

Cites Work

• Unnamed Item
• Unnamed Item
• A calculus of communicating systems
• A calculus of mobile processes. I
• Process Algebra
• Communicating sequential processes
• Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi