论文标题
具有差异的分支双向分支
Divergence-Preserving Branching Bisimilarity
论文作者
论文摘要
本说明考虑了呈差异分支双相似性的概念。它简要调查了与过去一个半十年中获得的概念有关的结果，讨论了其在过程表结石的表现力研究中的作用，并以一些建议对未来的工作进行了结论。
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.
