Communicating sequential processes the first 25 years : Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004 : revised invited papers /

nork Symposium on the Occasion of 25 years of CSP, Abdallah, Ali E., Jones, Cliff B., Sanders, Jeff W.
Argitaratua 2005.