Communicating Sequential Processes. The First 25 Years - Symposium on the Occasion of 25 years of CSP; Abdallah, Ali E.; Hoare, Charles Antony Richard; Jones, Cliff B.; Kanade, Takeo; Sanders, Jeff W. (Springer Berlin / Heidelberg, 2005)