Gerard Ekembe Ngondi (Trinity College Dublin) |
Vasileios Koutavas (Trinity College Dublin) |
Andrew Butterfield (Trinity College Dublin) |
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. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.368.4 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |