从 CCS 到 CSP：m-among-n 同步方法
计算机科学中的逻辑
2022-09-13 v1 形式语言与自动机理论
摘要
我们提出了一种从 CCS 到基于 m-among-n 同步（称为 CSPmn）的 CSP 扩展的替代翻译。该翻译在强互模拟意义下是正确的。与 g-star 重命名方法（[4]）不同，该翻译不受复制（即无嵌套并行组合的递归）限制。我们展示了可基于多路同步与重命名在 CSP 中实现 m-among-n 同步。
引用
@article{arxiv.2209.05232,
title = {From CCS to CSP: the m-among-n Synchronisation Approach},
author = {Gerard Ekembe Ngondi and Vasileios Koutavas and Andrew Butterfield},
journal= {arXiv preprint arXiv:2209.05232},
year = {2022}
}
备注
In Proceedings EXPRESS/SOS 2022, arXiv:2208.14777