论文标题
从CCS到CSP：M-Among-N同步方法
From CCS to CSP: the m-among-n Synchronisation Approach
论文作者
论文摘要
我们提出了一种基于M-Among-N同步（称为CSPMN）的CCS到CSP扩展的替代翻译。这种翻译是正确的，直到强大的一分化。与G-Star重命名方法（[4]）不同，此翻译不受复制的限制（即没有嵌套并行组成的递归）。我们表明，M-Among-N同步可以基于多路同步和重命名在CSP中实现。
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.
