1 Department of Computer Science, Faculty of Science, Aarhus University, Aarhus University2 Imperial College London, Department of Computing3 unknown
We extend the pi-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 pi-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 pi-calculus. After showing that matching cannot be derived in pi-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.