A brief survey of the theory of the Pi-calculus.
Year: 2003
Type: report
Abstract: This document collects some important results about the theory of Milner's pi-calculus and related formalisms. We present the syntax and semantics of a monadic calculus, and discuss type systems and the most commonly used notions of behavioural equivalences. Pi-calculus dialects are also briefly introduced, as well as several encodings of the lambda-calculus.
Source: HAL
Author: Hirschkoff, Daniel
Institution: Laboratoire de l'Informatique du Parallélisme
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W4298010659