An introduction to the \(\pi\)-calculus. (Q2760245)

The paper forms a chapter of the Handbook of Process Algebra and explores syntax, semantic, equivalences, and axiomatizations of the most common variant of process algebra, called \(\pi\)-calculus. This calculus is most suitable for the description of communicating processes allowing migrating local scopes. The work compactly presents one of the many variants of the \(\pi\)-calculus using the even numbered sections:NEWLINENEWLINE Section 2 presents the syntax and small examples. The semantics in its most common form of labelled transition systems is layed out in Chapter 4. Section 6 contains definitions of bisimulation together with its induced congruences, while their axiomatization is the contents of Section 8.NEWLINENEWLINE Each odd numbered section contains variations of the preceding one. Finally, Chapter 10 contains references to the sources as well as to other work and mentions introductory papers and other overviews.NEWLINENEWLINEFor the entire collection see [Zbl 0971.00006].