Asynchrony and the Pi-calculus

Gérard Boudol 1
1 MEIJE - Concurrency, Synchronization and Real-time Programming
CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : 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.
Type de document :
Rapport
[Research Report] RR-1702, INRIA. 1992, pp.15
Liste complète des métadonnées

https://hal.inria.fr/inria-00076939
Contributeur : Rapport de Recherche Inria <>
Soumis le : lundi 29 mai 2006 - 11:39:02
Dernière modification le : jeudi 11 janvier 2018 - 16:30:51
Document(s) archivé(s) le : vendredi 13 mai 2011 - 22:07:52

Fichiers

Identifiants

  • HAL Id : inria-00076939, version 1

Collections

Citation

Gérard Boudol. Asynchrony and the Pi-calculus. [Research Report] RR-1702, INRIA. 1992, pp.15. 〈inria-00076939〉

Partager

Métriques

Consultations de la notice

367

Téléchargements de fichiers

252