Rooted Divergence-Preserving Branching Bisimilarity is a Congruence
oleh: Rob van Glabbeek, Bas Luttik, Linda Spaninks
| Format: | Article |
|---|---|
| Diterbitkan: | Logical Methods in Computer Science e.V. 2020-08-01 |
Deskripsi
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.