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

Gerard Ekembe Ngondi, Vasileios Koutavas, Andrew Butterfield

Browse the full SEFM paper archive.