Browsing School of Computer Science and Statistics by Author "Ekembe Ngondi, Gerard"

Sort by: Order: Results:

Now showing items 1-2 of 2

  • From CCS to CSP: the m-among-n Synchronisation Approach 

    Butterfield, Andrew; Ekembe Ngondi, Gerard; Koutavas, Vasileios (Open Publishing Association, 2022)
    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]), ...

  • Translation of CCS into CSP, Correct up to Strong Bisimulation 

    Butterfield, Andrew; Ekembe Ngondi, Gerard; Koutavas, Vasileios (Springer, 2021)
    We present a translation of CCS into CSP which is correct with respect to strong bisimulation. To our knowledge this is the first such translation to enjoy a correctness property. This contributes to the unification of the ...