## On the Expressive Power of Polyadic Synchronisation in π-Calculus (2003)

Citations: | 29 - 9 self |

### BibTeX

@MISC{Carbone03onthe,

author = {Marco Carbone and Sergio Maffeis},

title = {On the Expressive Power of Polyadic Synchronisation in π-Calculus},

year = {2003}

}

### Years of Citing Articles

### OpenURL

### 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, we suggest that it permits divergence-free encodings of distributed calculi, and we show that a limited form of polyadic synchronisation can be encoded weakly in π-calculus. After showing that matching cannot be derived in π-calculus, we compare the expressivity of polyadic synchronisation, mixed choice and matching. In particular we show that the degree of synchronisation of a language increases its expressive power by means of a separation result in the style of Palamidessi's result for mixed choice.