Comparing communication primitives via their relative expressive power

In this paper, we study sixteen communication primitives, arising from the combination of four useful programming features: synchronism (synchronous vs asynchronous primitives), arity (monadic vs polyadic data), communication medium (message passing vs shared dataspaces) and pattern-matching. Some of these primitives have already been used in at least one language which has appeared in the literature; however, to reason uniformly on such primitives, we plug them into a common framework based on the -calculus. By means of possibility/impossibility of `reasonable' encodings, we compare every pair of primitives to obtain a hierarchy of languages based on their relative expressive power. Contents

• Type: Journal
• Year: 2008
• Where: IANDC
• Authors: Daniele Gorla
• Keywords: Communication Primitives, IANDC 2008, Monadic Vs, Vs Asynchronous Primitives