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.
翻译:我们根据 m- among- n 同步化( 称为 CSPmn ), 提供了从 CCS 到 CSP 扩展的替代翻译。 这个翻译是正确的, 直至强烈的双振化 。 与 g-star 重命名方法( [4] ) 不同, 这一翻译不受复制的限制( viz., 循环, 没有嵌套平行构成 ) 。 我们显示, m- among- n 同步化可以在多路同步化和重命名的基础上在 CSP 中实施 。