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,)