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