2 ms·Communicating Sequential Processes (CSP) by Hoare (free ebook of a classic)24 points by namin 17y ago