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

Daniel Hirschkoff (1)

1 LIP - Laboratoire de l'Informatique du Parallélisme

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.

Ce document rassemble quelques résultats essentiels de la théorie du π calcul de Milner. Nous présentons la syntaxe et la sémantique opérationnelle d’un calcul monadique, et discutons différentes sortes de systèmes de types et d’équivalences comportementales pour le π-calcul. Nous nous intéressons également au problème de l’encodage du λ-calcul, et présentons brièvement différents dialectes du π-calcul.

Mots clés: Behavioural Equivalence; Lambda-calculus; Mobility; Name Passing; Pi-calculus; Process Algebra; Type System

Mots clés: Algèbre de processus; mobilité; passage de noms; π-calcul; λ-calcul; système de type; équivalence comportementale

Domaines: Informatique [cs]

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⟩