Communicating Sequential Processes: A Formalism for Concurrent Programshttp://www.usingcsp.com/cspbook.pdf by orib • 18 years ago 3 0 18 years agoUSusingcsp.com