* [communicating-sequential-processes](http://www.cs.ucf.edu/courses/cop4020/sum2009/CSP-hoare.pdf)