On the Expressive Power of Polyadic Synchronisation in π-calculus |
| |
Authors: | Marco Carbone Sergio Maffeis |
| |
Affiliation: | aBRICS1 University of Aarhus, Aarhus, DK;bDepartment of Computing, Imperial College, London, UK |
| |
Abstract: | We extend the π-calculus with polyadic synchronisation, a generalisation of the communication mechanism which allows channel names to be composite. We show that this operator embeds nicely in the theory of π-calculus, and makes it possible to derive divergence-free encodings of distributed calculi. We give a separation result between the π-calculus with polyadic synchronisation (eπ) and the original calculus, in the style of an analogous result given by Palamidessi for mixed choice. We encode Local Area π showing how to control the local use of resources in eπ. |
| |
Keywords: | |
本文献已被 ScienceDirect 等数据库收录! |
|