保持根发散的分支互模拟是一致性
计算机科学中的逻辑
2023-06-22 v6
摘要
我们证明，保持根发散的分支互模拟对于由空进程、动作前缀、选择以及递归构造构成的过程规范语言是一致性。
引用
@article{arxiv.1801.01180,
title = {Rooted Divergence-Preserving Branching Bisimilarity is a Congruence},
author = {Rob van Glabbeek and Bas Luttik and Linda Spaninks},
journal= {arXiv preprint arXiv:1801.01180},
year = {2023}
}