Rooted Divergence-Preserving Branching Bisimilarity is a Congruence
Authors: van Glabbeek, Rob and Luttik, Bas and Spaninks, Linda
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.