将 CSP 编码到 CCS 中（扩展版）

Meike Hatzel; Christoph Wagner; Kirstin Peters; Uwe Nestmann

将 CSP 编码到 CCS 中（扩展版）

计算机科学中的逻辑 2015-08-06 v1

作者: Meike Hatzel , Christoph Wagner , Kirstin Peters , Uwe Nestmann

摘要

我们研究了从 CSP 到带有名字传递和匹配的异步 CCS 的编码，实际上也就是到异步 π 演算的编码。在此过程中，我们讨论了将 CSP 的多路同步机制映射到 CCS 的两路同步机制的两种不同方式。两种编码均满足 Gorla 的标准，除了组合性，因为两者都使用了额外的顶层上下文。遵循 Parrow 和 Sjödin 的工作，第一种编码使用中央协调器，并建立了源项与其翻译之间的一种弱互模拟变体。第二种编码是去中心化的，因此更高效，但仅确保源项与其翻译之间的一种耦合相似性。

关键词

进程演算编码 CSP CCS 异步 π 演算同步弱互模拟耦合相似性

引用

@article{arxiv.1508.01127,
  title  = {Encoding CSP into CCS (Extended Version)},
  author = {Meike Hatzel and Christoph Wagner and Kirstin Peters and Uwe Nestmann},
  journal= {arXiv preprint arXiv:1508.01127},
  year   = {2015}
}

备注

Extended version of the article "Encoding CSP into CCS" in EXPRESS/SOS'15

将 CSP 编码到 CCS 中（扩展版）

摘要

关键词

引用

备注

相关论文