Show simple item record

dc.contributor.authorWeber, Samen_US
dc.contributor.authorBloom, Barden_US
dc.description.abstractMilner's {$\pi$}-calculus is a very influential process algebra in which communication channels are first-class objects. One of the basic concepts in the language is the transmission of one channel along another. This leads to immensely powerful programming techniques, which have been used for modelling things from cellular telephones to object-oriented languages. However, the {$\pi$}-calculus lacks many operations, such as broadcasting a value to many processes, interrupting processes, checkpointing, and even such basics as sequencing and \t{while}-loops in full generality. Adding all useful operations to the {$\pi$}-calculus would make it unusably large and complex. We thus propose a \e{rule format}, called \metapi. The {$\pi$}-calculus, and a vast range of other calculi treating channels as first-class data, can be expressed with {\metapi} rules. Any operations defined by {\metapi} rules have the same essential theory as the {$\pi$}-calculus. For example, all such operations respect the appropriate notion of strong bisimulation. Furthermore, the {$\pi$}-calculus, and all the operations in the previous paragraph, have {\metapi} equivalents. {\metapi} describes the heart of the {$\pi$}-calculus without prejudice towards the particular communication mechanisms of the calculus, and thus gives a general framework for working with {$\pi$}-like calculi. Further, it can be argued that the {\metapi} rule format is the most general of its kind, in the sense that any obvious extensions to the format would cause important language properties to be violated.en_US
dc.format.extent238963 bytes
dc.format.extent261016 bytes
dc.publisherCornell Universityen_US
dc.subjectcomputer scienceen_US
dc.subjecttechnical reporten_US
dc.titleMetatheory of the $\pi$-Calculusen_US
dc.typetechnical reporten_US

Files in this item


This item appears in the following Collection(s)

Show simple item record