A brief survey of the theory of the Pi-calculus. - LARA - Libre accès aux rapports scientifiques et techniques Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2003

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

Résumé

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.
Fichier principal
Vignette du fichier
RR2003-13.pdf (221.33 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02101985 , version 1 (17-04-2019)

Identifiants

  • HAL Id : hal-02101985 , version 1

Citer

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⟩
48 Consultations
2701 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More