比较同步与异步 pi-演算的表达能力
计算机科学中的逻辑
2013-07-09 v1 分布式、并行与集群计算
摘要
异步 pi-演算由 Honda 和 Tokoro (1991) 以及 Boudol (1992) 独立提出，它是 pi-演算 (Milner, 1992) 的一个子集，不包含显式的选择算子和输出前缀算子。然而，正如 Honda 和 Tokoro (1991) 以及 Boudol (1992) 所示，该演算的通信机制足以模拟输出前缀；而 Nestmann 和 Pierce (2000) 则证明了其可模拟输入保护选择。因此，一个自然的问题随之产生：它是否具有与完整 pi-演算同等的表达能力？我们表明事实并非如此。更确切地说，我们证明了在任何“合理”的等价概念下，都不存在从 pi-演算到异步 pi-演算的任何均匀、完全分布式的翻译。这一结果基于异步 pi-演算无法打破初始通信图中可能存在的某些对称性。通过类似的论证，我们证明了 pi-演算与 CCS 之间的分离结果，以及 pi-演算与具有内部移动性的 pi-演算（由 Sangiorgi 提出的 pi-演算子集，其中输出动作只能传输私有名称）之间的分离结果。
引用
@article{arxiv.1307.2062,
title = {Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculi},
author = {Catuscia Palamidessi},
journal= {arXiv preprint arXiv:1307.2062},
year = {2013}
}