Divergence-Preserving Branching Bisimilarity

TL;DR

This paper reviews the concept of divergence-preserving branching bisimilarity, highlighting its significance in process calculi expressiveness and summarizing past research and future directions.

Contribution

It provides a concise survey of divergence-preserving branching bisimilarity, emphasizing its role and developments over the past decade and a half.

Findings

Summarizes key results on divergence-preserving branching bisimilarity

Discusses its importance in process calculi expressiveness

Suggests directions for future research

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.