当前位置:
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)
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
中文翻译:
保持发散的分支双相似性
本笔记考虑了保持分歧的分支双相似性的概念。它简要调查了与过去 15 年间获得的概念有关的结果,讨论了它在过程演算表达性研究中的作用,最后对未来工作提出了一些建议。