Publications of A. W. Roscoe
2000
Tutorial on FDR and Its Applications, in: Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification, pages 322--, Springer-Verlag, 2000 | and ,
[URL] |
1997
The Theory and Practice of Concurrency, Prentice Hall PTR, 1997 | , and ,