Offering an up-to-date and practical treatment of concurrent systems, this is a practical reference manual and convenient introduction for students and practitioners using and implementing the formal specification language CSP in the specification and verification of complex, real-time and distributed systems.