A Look Around the Corner: The Pi-Calculus

DOI10.1007/978-3-642-00899-3_4MaRDI QIDQ3623819zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 1420796
• The \(\pi\)-calculus: An introduction
• A functional presentation of pi calculus
• scientific article; zbMATH DE number 6514866
• An introduction to the \(\pi\)-calculus.
• \(\pi\)-calculi

Cites work

• scientific article; zbMATH DE number 4028914 (Why is no real title available?)
• scientific article; zbMATH DE number 1250176 (Why is no real title available?)
• A calculus of communicating systems
• A calculus of mobile processes. I
• Communicating sequential processes
• Process Algebra
• Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi

Cited in

(9)

• The Applied Pi Calculus
• How to Bake $𝜋$
• Soundness of workflow nets: classification, decidability, and analysis
• Pi: The Next Generation
• Business process specification and analysis
• Trustworthy Global Computing
• The legal values of pi
• Extended pi-Calculi
• Reversing Higher-Order Pi

This page was built for publication: A Look Around the Corner: The Pi-Calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3623819)