发表机构
École Normale Supérieure Paris-Saclay; University of Bologna; INRIA（巴黎-萨克兰高等师范学院; 博洛尼亚大学; 法国国家信息与自动化研究院）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
本文针对CCS的可逆扩展CCSK，研究不同类型互模拟关系的差异与共性，提出两种弱可逆互模拟变体，证明混合互模拟为同余关系且可抽象掉τ动作。
AI 中文摘要
在CCSK（CCS的可逆扩展）的语境下，我们研究不同类型的互模拟关系（强/弱、仅前向/可逆），并突出它们的差异与共性。尤其针对文献中此前未研究的弱可逆情形，我们提出两种变体，分别命名为定向互模拟和混合互模拟，具体取决于τ动作是否应与待匹配动作处于同一方向（前向/后向）。我们证明，混合互模拟是同余关系，且完全抽象掉τ动作。
英文摘要
In the context of CCSK, a reversible extension of CCS, we study different notions of bisimilarity (strong/weak, forward-only/reversible) and highlight their differences and commonalities. In particular, for the weak reversible case, not previously studied in the literature, we propose two variants, dubbed directional and mixed bisimilarity, depending on whether $τ$ actions should be in the same direction (forward/backward) as the action being matched or not. We show, in particular, that mixed bisimilarity is a congruence and completely abstracts away from $τ$ actions.
Comments16 pages, 5 figures, Conference : RC 2026
Journal refReversible Computation Reversible computation, 18th International Conference, RC 2026, Proceedings : Pages 59-74
