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.

Keywords

• computer science - logic in computer science
• f.3.2