@article{lmcs:5768, title = {Rooted Divergence-Preserving Branching Bisimilarity is a Congruence}, author = {Rob van Glabbeek and Bas Luttik and Linda Spaninks}, url = {https://lmcs.episciences.org/5768}, doi = {10.23638/LMCS-16(3:14)2020}, journal = {Logical Methods in Computer Science}, issn = {1860-5974}, volume = {Volume 16, Issue 3}, eid = 14, year = {2020}, month = {Aug}, keywords = {Computer Science - Logic in Computer Science, F.3.2}, }