Theory and Practice of Concurrency

This work includes case studies which show real-world applications of communicating sequential processes (CSP). The text is divided into three main parts: Part 1 offers a foundation course on CSP, while Parts 2 and 3 detail the theory and practice of CSP.