Semantics of CSP via Translation into CCS.

Egidio Astesiano, Elena Zucca

Browse the full MFCS paper archive.