Links to related web sites and books

1. The CSP Archive
This archive contains a wealth of material on CSP, including information on text books, typesetting CSP, and pointers to work based on and related to CSP.
2. Formal Systems
Formal Systems (Europe) Ltd provide expertise and CASE tools for CSP including FDR and ProBe.
3. Steve Schneider
The author's home page.
4. Understanding Concurrent Systems
The website for Bill Roscoe's 2010 book Understanding Concurrent Systems
5. Communicating Sequential Processes
Tony Hoare's original book on CSP
6. The Theory and Practice of Concurrency
Bill Roscoe's previous book on CSP
Back to book home page