Communicating serial processes
[http://www.usingcsp.com/]