Divergence-Preserving Branching Bisimilarity
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2020
- DOI:
- 10.48550/arXiv.2008.13355
- arXiv:
- arXiv:2008.13355
- Bibcode:
- 2020arXiv200813355L
- Keywords:
-
- Computer Science - Logic in Computer Science
- E-Print:
- In Proceedings EXPRESS/SOS 2020, arXiv:2008.12414