For those curious, Hoare's homepage and an electronic copy of the CSP Book can be found here: http://research.microsoft.com/en-us/people/thoare/ http://researc

For those curious, Hoare's homepage and an electronic copy of the CSP Book can be found here: http://research.microsoft.com/en-us/people/thoare/ http://research.microsoft.com/en-us/people/thoare/ http://www.usingcsp.com/ http://www.usingcsp.com/