Peters，Kirstin彼得斯;延斯·沃尔夫哈德·希克;乌韦·内斯特曼 异步演算中的同步与因果关系。 （英语） Zbl 1457.68192号 Luttik，Bas（编辑）等人，《第18届并发表达性国际研讨会论文集》，EXPRESS’11，德国亚琛，2011年9月5日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）64，89-103（2011）。 摘要：我们研究了同步或异步交互机制不同的进程计算之间的关系。具体地说，我们感兴趣的是在什么条件下可以使用\（\pi\）演算中的异步交互来实现同步交互。我们假设一些与Gorla的工作相关的最小条件：一个“好”的编码必须是合成的，并保留和反映计算、死锁、发散和成功。在这些条件下，我们表明，如果不在翻译中引入额外的因果依赖关系，就不可能对同步交互进行编码。关于整个系列，请参见[Zbl 1415.68035号]. 引用于三文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：异步;分布式系统;因果关系;\（\pi\）-微积分 PDF格式BibTeX公司 XML格式引用 \textit{K.Peters}等人，《电子》。程序。西奥。计算。科学。（EPTCS）64，89--103（2011；Zbl 1457.68192） 全文： arXiv公司 链接