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