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 / - Abdallah, Ali E.; Jones, C. B.; Sanders, Jeff W.; Hoare, C. A. R. (Springer, 2005)