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 metadata

https://hal.inria.fr/inria-00076939
Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Monday, May 29, 2006 - 11:39:02 AM
Last modification on : Saturday, January 27, 2018 - 1:31:03 AM
Long-term archiving on: : 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

804

Files downloads

574