Rooted Divergence-Preserving Branching Bisimilarity is a Congruence

Abstract

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.

References in corpus (1)

• Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence

Cited by in corpus (1)

• Divergence-Preserving Branching Bisimilarity