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.