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
Back to book home page