Divergence-Preserving Branching Bisimilarity
arXiv:2008.13355 · doi:10.4204/EPTCS.322.2
Abstract
This note considers the notion of divergence-preserving branching bisimilarity. It briefly surveys results pertaining to the notion that have been obtained in the past one-and-a-half decade, discusses its role in the study of expressiveness of process calculi, and concludes with some suggestions for future work.
In Proceedings EXPRESS/SOS 2020, arXiv:2008.12414
References in corpus (5)
- Divide and Congruence III: From Decomposition of Modal Formulas to Preservation of Stability and Divergence
- Comparing Process Calculi Using Encodings
- Up-to Techniques for Branching Bisimilarity
- Sequential Composition in the Presence of Intermediate Termination (Extended Abstract)
- Rooted Divergence-Preserving Branching Bisimilarity is a Congruence