C.A.R. Hoare wrote a whole book on CSP

http://www.usingcsp.com/