English(EN) On Weak Bisimilarities in CCSK

在CCSK框架中探索新的相似性概念

作者 PulseAugur 编辑部 · [1 个来源] · 2026-08-13 04:00

本文在CCSK框架（CCS的可逆扩展）中探讨了各种相似性概念。它基于$\tau$动作的方向性，引入了两种新的弱相似性变体：定向和混合。研究表明，混合相似性作为一种同余，能够有效地抽象$\tau$动作。 AI

排序理由该条目是提交到arXiv的学术论文。[lever_c_demoted from research: ic=1 ai=0.1]

AI 生成摘要 · Google Gemini · 来自 1 个来源。我们如何撰写摘要 →

报道来源 [1]

arXiv cs.CL TIER_1 English(EN) · Baptiste Vall\'ee, Ivan Lanese · 2026-08-13 04:00

关于CCSK中的弱相似性

arXiv:2608.11531v1 Announce Type: new Abstract: In the context of CCSK, a reversible extension of CCS, we study different notions of bisimilarity (strong/weak, forward-only/reversible) and highlight their differences and commonalities. In particular, for the weak reversible case,…