Comparing communication primitives via their relative expressive power
Comparing communication primitives via their relative expressive power
复制标题
DOI：
10.1016/j.ic.2008.05.001
复制
发表时间：
2008-08
期刊：
影响因子：
--
通讯作者：
D. Gorla
中科院分区：
文献类型：
--
作者：
D. Gorla
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 π. 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.
