Divergence-Preserving Branching Bisimilarity

08/31/2020

∙

by   Bas Luttik, et al.

∙

0

∙

share

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.