[ALOR12]Philip Armstrong, Gavin Lowe, Joel Ouaknine, and A. W. Roscoe. Model checking Timed CSP. HOWARD. Easychair, pub. 2012.
[GRABR14]Thomas Gibson-Robinson, Philip Armstrong, Alexandre Boulgakov, and A.W. Roscoe. FDR3 — A Modern Refinement Checker for CSP. Tools and Algorithms for the Construction and Analysis of Systems 2014. LNCS vol. 8413.
[GMRWZ03]Michael Goldsmith, Nick Moffat, A. W. Roscoe, Tim Whitworth, and Irfan Zakiuddin Watchdog Transformations for Property-Oriented Model-Checking. FME 2003: Formal Methods. LNCS vol. 2805.
[Ros98]A. W. Roscoe. The Theory and Practice of Concurrency. Prentice Hall. 1998.
[Ros10]A. W. Roscoe. Understanding Concurrent Systems. Springer. 2010.