TY  - RPRT
TI  - Rooted Divergence-Preserving Branching Bisimilarity is a Congruence
AU  - Rob van Glabbeek
AU  - Bas Luttik
AU  - Linda Spaninks
PY  - 2020
DO  - 10.23638/lmcs-16(3:14)2020
UR  - https://arxiv.org/abs/1801.01180
ID  - 1801.01180
ER  -