丹尼尔·戈拉 异步通信原语的相对表达能力。 （英语） Zbl 1180.68190号 Aceto，Luca（编辑）等人，《软件科学和计算结构基础》。2006年3月25日至31日在奥地利维也纳举行的第九届国际会议FOSSACS 2006，是欧洲软件理论与实践联合会议ETAPS 2006的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-33045-3/pbk）。《计算机科学讲义》3921，47-62（2006）。 摘要：在本文中，我们研究了八种异步通信原语，它们是由三个特征组合而成的：arity（一元数据与多元数据）、通信介质（消息传递与共享数据空间）和模式匹配。每一个原语都已经被文学中出现的至少一种语言所使用；然而，为了统一地对这些原语进行推理，我们将它们插入一个受异步（pi）演算启发的通用框架中。通过“合理”编码的可能性/不可能性，我们比较每对原语，以获得基于其相对表达能力的语言层次。关于整个系列，请参见[Zbl 1103.68001号]. 引用于9文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 软件：皮杜克 PDF格式BibTeX公司 XML格式引用 \textit{D.Gorla}，莱克特。注释计算。科学。3921、47-62（2006年；Zbl 1180.68190） 全文： 内政部