Rooted Divergence-Preserving Branching Bisimilarity is a Congruence
Rooted Divergence-Preserving Branching Bisimilarity is a Congruence
复制标题
DOI：
10.23638/lmcs-16(3:14)2020
复制
发表时间：
2018-01
期刊：
影响因子：
--
通讯作者：
R. V. Glabbeek;B. Luttik;L. Spaninks
中科院分区：
文献类型：
--
作者：
R. V. Glabbeek;B. Luttik;L. Spaninks
We prove that rooted divergence-preserving branching bisimilarity is a congruence for the process specification language consisting of $\mathbf{0}$, action prefix, choice, and the recursion construct $\mu X.\_$.
