| [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. |