Split-2 双isimilarity 在 CCS 加上 Hennessy 合并后拥有有限公理化
计算机科学中的逻辑
2017-01-11 v4
摘要
本文表明，split-2 双isimilarity（也称为 timed equivalence）在通过于 Hennessy 于 1981 年提出的辅助运算所构成的过程代数上拥有有限等式公理化。也就是说，Hennessy 合并这一单个二进制运算的添加，足以对并行 composition modulo 这种非交错等价性进行有限等式公理化。该结果与前述作者先前获得的相同语言在双isimilarity 等价性下的非有限基于结果形成鲜明对比。
引用
@article{arxiv.cs/0501040,
title = {Split-2 Bisimilarity has a Finite Axiomatization over CCS with<br> Hennessy's Merge},
author = {Luca Aceto and Wan Fokkink and Anna Ingolfsdottir and Bas Luttik},
journal= {arXiv preprint arXiv:cs/0501040},
year = {2017}
}