Communicating Sequential Processes <http://usingcsp.com/cs… Twetch · January 10, 2020 Communicating Sequential Processes<http://usingcsp.com/cspbook.pdf>