Skip to Main content Skip to Navigation
Reports

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

https://hal.inria.fr/inria-00076939
Contributor : Rapport de Recherche Inria <>
Submitted on : Monday, May 29, 2006 - 11:39:02 AM
Last modification on : Saturday, January 27, 2018 - 1:31:03 AM
Document(s) archivé(s) le : Friday, May 13, 2011 - 10:07:52 PM

Identifiers

  • 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⟩

Share

Metrics

Record views

638

Files downloads

495