Rooted Divergence-Preserving Branching Bisimilarity is a Congruence
Authors: Rob van Glabbeek ; Bas Luttik ; Linda Spaninks
We prove that rooted divergence-preserving branching bisimilarity is a
congruence for the process specification language consisting of nil, action
prefix, choice, and the recursion construct.