当前位置: X-MOL 学术arXiv.cs.LO › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Divergence-Preserving Branching Bisimilarity
arXiv - CS - Logic in Computer Science Pub Date : 2020-08-31 , DOI: arxiv-2008.13355
Bas Luttik (Eindhoven University of Technology)

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 年间获得的概念有关的结果,讨论了它在过程演算表达性研究中的作用,最后对未来工作提出了一些建议。
更新日期:2020-09-01
down
wechat
bug