Author:Bill Roscoe

Publications
The Challenges and Triumphs of CSP Based Formal Verification Andrew Roscoe and Pedro Antonino In:Proceedings of 2024 Concurrent Processes Architectures and Embedded Systems Hybrid Virtual Conference
Model checking Timed CSP Philip Armstrong, Gavin Lowe, Joël Ouaknine and Bill Roscoe In:HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday