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 /

由 Symposium on the Occasion of 25 years of CSP, Abdallah, Ali E., Jones, Cliff B., Sanders, Jeff W.
出版 2005.