Rooted Divergence-Preserving Branching Bisimilarity is a Congruence

01/03/2018

∙

by   Rob van Glabbeek, et al.

∙

0

∙

share

We prove that rooted divergence-preserving branching bisimilarity is a congruence for the process specification language consisting of 0, action prefix, choice, and the recursion construct μ X._.