Hacker News new | ask | show | jobs
by johnny_1010 3225 days ago
Communicating Sequential Processes C. A. R. Hoare http://www.usingcsp.com/cspbook.pdf