追寻逝去的时间：进程代数中并行组合的公理化
计算机科学中的逻辑
2021-05-04 v1
摘要
本综述回顾了并行组合公理化历程中一些最新成果及若干经典结果。我们聚焦于CCS中不含递归、重标号与限制的片段，并讨论多年来悬而未决的三个问题。第一个问题涉及Bergstra与Klop的辅助算子左合并与通信合并在模互模拟的并行组合有限公理化中的地位：我们论证，在某些自然假设下，向CCS添加单一辅助二元算子并不能得到互模拟的有限公理化。随后我们勾勒出van Glabbeek线性时间-分支时间谱上CCS各同余的有限与无限公理化性之间的边界。最后，我们给出一个新结果：根弱互模拟在CCS上无有限完全公理化。
引用
@article{arxiv.2105.00735,
title = {In search of lost time: Axiomatising parallel composition in process algebras},
author = {Luca Aceto and Elli Anastasiadi and Valentina Castiglioni and Anna Ingolfsdottir and Bas Luttik},
journal= {arXiv preprint arXiv:2105.00735},
year = {2021}
}
备注
arXiv admin note: text overlap with arXiv:2010.01943, arXiv:2102.11166