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.

中文翻译：

---

保持发散的分支双相似性

本笔记考虑了保持分歧的分支双相似性的概念。它简要调查了与过去 15 年间获得的概念有关的结果，讨论了它在过程演算表达性研究中的作用，最后对未来工作提出了一些建议。