Communicating Parallel Processes: Deconstructing CSP (2000)

by S Brookes
Venue:In: Millenium Perspectives in Computer Science, Proc. 1999 OxfordMicrosoft Symposium in honour of Sir Tony Hoare. Palgrave