Links to related web sites and books
- 1. The CSP
- 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.
- The author's home page.
Understanding Concurrent Systems
- The website for Bill Roscoe's 2010 book Understanding Concurrent Systems
Communicating Sequential Processes
Tony Hoare's original book on CSP
Back to book home page
The Theory and Practice of Concurrency
Bill Roscoe's previous book on CSP