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.; Sanders, Jeff W.; Jones, Cliff B. (Lecture Notes in Computer Science,, 2005)