关于在带复制的CCS片段中刻画强互模拟等价性
计算机科学中的逻辑
2008-10-14 v1
摘要
我们在仅包含前缀、并行组合、同步以及一种有限形式复制的CCS片段中，给出了强互模拟等价性的一种刻画。该刻画并非公理化，而是以重写系统的形式呈现。我们讨论了该方法如何使我们能够在π-演算中推导出一个新的同余结果：在不包含限制和求和，且具有一种有限形式复制的子演算中，同余性成立。我们尚未将该结果的所有细节形式化。
引用
@article{arxiv.0810.2061,
title = {On characterising strong bisimilarity in a fragment of CCS with replication},
author = {Daniel Hirschkoff and Damien Pous},
journal= {arXiv preprint arXiv:0810.2061},
year = {2008}
}