On the Relative Expressive Power of Asynchronous Communication Primitives
On the Relative Expressive Power of Asynchronous Communication Primitives
复制标题
论异步通信原语的相对表达能力
DOI：
10.1007/11690634_4
复制
发表时间：
2006
影响因子：
1.3
通讯作者：
D. Gorla
中科院分区：
文献类型：
--
作者：
D. Gorla
在本文中，我们研究了八个异步通信原语，产生于三个特征的组合：arity（一元与多元数据），通信介质（消息传递与共享数据空间）和模式匹配。每一个原语都已经在文献中出现的至少一种语言中使用过;然而，为了统一地推理这些原语，我们将它们插入到一个受异步π演算启发的公共框架中。通过“合理”编码的可能性/不可能性，我们比较每对原语，以获得基于其相对表达能力的语言层次。
In this paper, we study eight asynchronous communication primitives, arising from the combination of three features: arity (monadic vs polyadic data), communication medium (message passing vs shared dataspaces) and pattern-matching. Each primitive has been already used in at least one language appeared in literature; however, to uniformly reason on such primitives, we plugged them in a common framework inspired by the asynchronous π-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.