Reactive Systems: Modelling, Specification and Verification
Luca Aceto
CSP, process algebra. This book offers a more balanced introduction for graduate students that describes the various approaches, their strengths and weaknesses, and when they are best used.