New bisimilarity concepts explored in CCSK framework

This paper explores various bisimilarity concepts within the CCSK framework, a reversible extension of CCS. It introduces two new variants for weak bisimilarity, directional and mixed, based on the directionality of $\tau$ actions. The research demonstrates that mixed bisimilarity functions as a congruence and effectively abstracts $\tau$ actions. AI

RANK_REASON The item is an academic paper submitted to arXiv. [lever_c_demoted from research: ic=1 ai=0.1]

Read on arXiv cs.CL →

• alphaXiv
• CatalyzeX
• DagsHub
• Gotit.pub
• Hugging Face
• Influence Flower
• ScienceCast

• paper

AI-generated summary · Google Gemini · from 1 sources. How we write summaries →