Rob van Glabbeek, Bas Luttik, Linda Spaninks. Rooted Divergence-Preserving Branching Bisimilarity is a Congruence. Logical Methods in Computer Science, 16(3), 2020. [doi]
@article{GlabbeekLS20,
title = {Rooted Divergence-Preserving Branching Bisimilarity is a Congruence},
author = {Rob van Glabbeek and Bas Luttik and Linda Spaninks},
year = {2020},
url = {https://lmcs.episciences.org/6741},
researchr = {https://researchr.org/publication/GlabbeekLS20},
cites = {0},
citedby = {0},
journal = {Logical Methods in Computer Science},
volume = {16},
number = {3},
}