Links to related CSP sites:

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. The Theory and practice of Concurrency

Bill Roscoe's book on CSP

4. Concurrent and Real-time Systems: the CSP Approach

Steve Schneider's book on CSP