A First Attempt at Translating CSP into CCS.

Matthew Hennessy, Wei Li, Gordon D. Plotkin

Browse the full ICDCS paper archive.