Asynchrony and the Pi-calculus - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 1992

Asynchrony and the Pi-calculus

Résumé

We introduce an asynchronous version of Milner's -calculus, based on the idea that the messages are elementary processes that can be sent without any sequencing constraint. We show that this simple message passing discipline, together with the restriction construct making a name private for an agent, is enough to encode the synchronous communication of the -calculus. As a consequence, our asynchronous -calculus also contains in some sense the l -calculus.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RR-1702.pdf (790.79 Ko) Télécharger le fichier

Dates et versions

inria-00076939 , version 1 (29-05-2006)

Identifiants

  • HAL Id : inria-00076939 , version 1

Citer

Gérard Boudol. Asynchrony and the Pi-calculus. [Research Report] RR-1702, INRIA. 1992, pp.15. ⟨inria-00076939⟩
642 Consultations
451 Téléchargements

Partager

Gmail Facebook X LinkedIn More