可逆通信系统的演算中保持历史的互模拟
计算机科学中的逻辑
2018-04-30 v1 分布式、并行与集群计算
形式语言与自动机理论
摘要
保持历史与遗传保持历史的互模拟 (HPB 与 HHPB) 是并发性指称模型的等价关系。在进程代数中寻找其对应物是一个开放问题，已有一些部分成功：在通信系统演算 (CCS) 中存在一种基于因果树的等价关系对应于 HPB。在可逆 CCS (RCCS) 中，存在一种对应于 HHPB 的互模拟，但它只考虑无自并发的进程。我们提出带有自并发的 CCS 上对应于 HPB 和 HHPB 及其所谓“弱”变体的等价关系。这些等价关系不仅利用了可逆性，还利用了 RCCS 的记忆机制。
引用
@article{arxiv.1804.10355,
title = {History-Preserving Bisimulations on Reversible Calculus of Communicating Systems},
author = {Clément Aubert and Ioana Cristescu},
journal= {arXiv preprint arXiv:1804.10355},
year = {2018}
}