Divergence-Preserving Branching Bisimilarity
Logic in Computer Science
2020-09-01 v1
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.
Cite
@article{arxiv.2008.13355,
title = {Divergence-Preserving Branching Bisimilarity},
author = {Bas Luttik},
journal= {arXiv preprint arXiv:2008.13355},
year = {2020}
}
Comments
In Proceedings EXPRESS/SOS 2020, arXiv:2008.12414