@misc{indiciae64c1940de628,
  title = {Rooted Divergence-Preserving Branching Bisimilarity is a Congruence},
  author = {Rob van Glabbeek and Bas Luttik and Linda Spaninks},
  year = {2020},
  doi = {10.23638/lmcs-16(3:14)2020},
  url = {https://arxiv.org/abs/1801.01180},
  note = {Source identifier: 1801.01180}
}