A brief survey of the theory of the Pi-calculus.

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.
Document type :
Reports
Complete list of metadatas

Cited literature [1 references]  Display  Hide  Download

https://hal-lara.archives-ouvertes.fr/hal-02101985
Contributor : Colette Orange <>
Submitted on : Wednesday, April 17, 2019 - 9:11:23 AM
Last modification on : Thursday, November 21, 2019 - 2:38:43 AM

File

RR2003-13.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02101985, version 1

Collections

Citation

Daniel Hirschkoff. A brief survey of the theory of the Pi-calculus.. [Research Report] LIP RR-2003-13, Laboratoire de l'informatique du parallélisme. 2003, 2+15p. ⟨hal-02101985⟩

Share

Metrics

Record views

4

Files downloads

70