A Look Around the Corner: The Pi-Calculus

DOI10.1007/978-3-642-00899-3_4zbMATH Open1235.68110OpenAlexW1579866464MaRDI QIDQ3623819FDOQ3623819

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

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

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)

Cites Work

• A calculus of mobile processes. I
• Title not available (Why is that?)
• A calculus of communicating systems
• Communicating sequential processes
• Process Algebra
• Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi
• Title not available (Why is that?)

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)