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