将 CSP 编码至 CCS
计算机科学中的逻辑
2015-08-28 v1
摘要
我们研究从 CSP 到带有名字传递与匹配的异步 CCS 的编码，即事实上编码至异步 pi-演算。在此基础上，我们讨论将 CSP 的多方同步机制映射至 CCS 的双方同步机制的两种不同方式。除组合性外，两种编码均满足 Gorla 提出的准则，因为二者均使用了额外的顶层上下文。沿用 Parrow 和 Sjödin 的工作，第一种编码使用集中式协调器，并在源项及其翻译之间建立了一种弱互模拟变体。第二种编码是去中心化的，因此效率更高，但仅能确保源项及其翻译之间的一种耦合相似性。
引用
@article{arxiv.1508.06712,
title = {Encoding CSP into CCS},
author = {Meike Hatzel and Christoph Wagner and Kirstin Peters and Uwe Nestmann},
journal= {arXiv preprint arXiv:1508.06712},
year = {2015}
}
备注
In Proceedings EXPRESS/SOS 2015, arXiv:1508.06347