From CCS to CSP: the m-among-n Synchronisation Approach.

Gerard Ekembe Ngondi,Vasileios Koutavas,Andrew Butterfield

International Workshop on Expressiveness in Concurrency (EXPRESS)（2022）

引用 0|浏览0

暂无评分

摘要

We present an alternative translation from CCS to an extension of CSP based on m-among-n synchronisation (called CSPmn). This translation is correct up to strong bisimulation. Unlike the g-star renaming approach ([4]), this translation is not limited by replication (viz., recursion with no nested parallel composition). We show that m-among-n synchronisation can be implemented in CSP based on multiway synchronisation and renaming.

查看译文

关键词

csp,ccs,m-among-n

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要