×

zbMATH — the first resource for mathematics

The \(\pi\)-calculus: An introduction. (English) Zbl 0995.68066
Hoare, Tony (ed.) et al., Engineering theories of software construction. Proceedings of the NATO ASI, Marktoberdorf, Germany, July 25 - August 6, 2000. Amsterdam: IOS Press. NATO Sci. Ser. III, Comput. Syst. Sci. 180, 187-222 (2001).
Summary: The \(\pi\)-calculus is a process algebra where processes interact by sending communication links to each other. We give an introduction to its basic theory, exploring the syntax, semantics, equivalences and axiomatizations.
For the entire collection see [Zbl 0972.00060].
MSC:
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
PDF BibTeX XML Cite