From CCS to CSP: the m-among-n Synchronisation Approach
File Type:
PDFItem Type:
Conference PaperDate:
2022Access:
openAccessCitation:
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 - 74Download Item:
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.
Sponsor
Grant Number
Marie Curie
754489
Science Foundation Ireland (SFI)
13/RC/2094
Author's Homepage:
http://people.tcd.ie/butrfeldhttp://people.tcd.ie/ekembeng
http://people.tcd.ie/vkoutav
Other Titles:
Electronic Proceedings in Theoretical Computer ScienceCombined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics
Publisher:
Open Publishing AssociationType of material:
Conference PaperCollections
Availability:
Full text availableSubject (TCD):
CONCURRENCY THEORY , FORMAL VERIFICATION , Formal Methods , Formal SemanticsDOI:
10.4204/EPTCS.368.4Metadata
Show full item recordLicences: