Browsing Computer Science (Scholarly Publications) by Subject "Calculus of Communicating Systems (CCS)"

Sort by: Order: Results:

Now showing items 1-1 of 1

  • 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 ...