25 Years Communicating Sequential Processes: 2004

Semantic Foundations

Refinement and Simulation

Hardware Synthesis

Transactions

Concurrent Programming

Linking Theories

Security

Automated Development and Model Checking

Industrial Strength CSP

maintained by Schloss Dagstuhl LZI at University of Trier