A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
The Pi Calculus and its Applications
[chapter]
1997
IFIP Advances in Information and Communication Technology
The pi calculus (MPW92, Mil93] was defined by Milner, Parrow and Walker as a "Calculus of Mobile Processes", extending work by Engberg and Nielsen (EN86]. It provides an underlying formal model for interactive systems which can change their configuration on the fly; this spans a large spectrum from mobile telephone networks to Java-like languages. The calculus aims to be a model for interactive behaviour as basic as is the lambda calculus for sequential computation. In fact, the lambda calculus
doi:10.1007/978-0-387-35261-9_1
fatcat:h3deq3grpzh6bauvcbu77qye6q