Online Resources

Concurrent and Real-time Systems textbook , author's website including overhead slides (also available here as a single PDF file), "practicals" (i.e., labs), and FDR scripts. The .csp and .fdr2 files are text files.

The Theory and Practice of Concurrency textbook , author's website including overhead slides, .csp files, and related papers and theses.

Tutorial Introduction to CSP and FDR , by Gardiner (Dyke) Stiles, Utah State University.