dc.contributor.author | Butterfield, Andrew | |
dc.contributor.author | Ekembe Ngondi, Gerard | |
dc.contributor.author | Koutavas, Vasileios | |
dc.contributor.editor | Valentina Castiglioni, Claudio Antares. | en |
dc.date.accessioned | 2023-03-22T19:18:22Z | |
dc.date.available | 2023-03-22T19:18:22Z | |
dc.date.created | 12th September 2022 | en |
dc.date.issued | 2022 | |
dc.date.submitted | 2022 | en |
dc.identifier.citation | Gerard Ekembe Ngondi, Vasileios Koutavas, Andrew Butterfield, From CCS to CSP: the m-among-n Synchronisation Approach, Electronic Proceedings in Theoretical Computer Science, Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics, Warsaw, Poland, 12th September 2022, Valentina Castiglioni, Claudio Antares., Open Publishing Association, 2022, 60 - 74 | en |
dc.identifier.other | Y | |
dc.identifier.uri | http://hdl.handle.net/2262/102303 | |
dc.description.abstract | We present an alternative translation from CCS to an extension of CSP based on m-among-n syn chronisation (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. | en |
dc.format.extent | 60 | en |
dc.format.extent | 74 | en |
dc.language.iso | en | en |
dc.publisher | Open Publishing Association | en |
dc.rights | Y | en |
dc.title | From CCS to CSP: the m-among-n Synchronisation Approach | en |
dc.title.alternative | Electronic Proceedings in Theoretical Computer Science | en |
dc.title.alternative | Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics | en |
dc.type | Conference Paper | en |
dc.type.supercollection | scholarly_publications | en |
dc.type.supercollection | refereed_publications | en |
dc.identifier.peoplefinderurl | http://people.tcd.ie/butrfeld | |
dc.identifier.peoplefinderurl | http://people.tcd.ie/ekembeng | |
dc.identifier.peoplefinderurl | http://people.tcd.ie/vkoutav | |
dc.identifier.rssinternalid | 245407 | |
dc.identifier.doi | 10.4204/EPTCS.368.4 | |
dc.rights.ecaccessrights | openAccess | |
dc.subject.TCDTag | CONCURRENCY THEORY | en |
dc.subject.TCDTag | FORMAL VERIFICATION | en |
dc.subject.TCDTag | Formal Methods | en |
dc.subject.TCDTag | Formal Semantics | en |
dc.identifier.orcid_id | 0000-0002-2337-2101 | |
dc.status.accessible | N | en |
dc.contributor.sponsor | Marie Curie | en |
dc.contributor.sponsorGrantNumber | 754489 | en |
dc.contributor.sponsor | Science Foundation Ireland (SFI) | en |
dc.contributor.sponsorGrantNumber | 13/RC/2094 | en |