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

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