A.W. Roscoe

Books

Reflections on the Work of C.A.R. Hoare Reflections on the Work of C.A.R. Hoare
Reflections on the Work of C.A.R. Hoare
2010
Understanding Concurrent Systems Understanding Concurrent Systems
Understanding Concurrent Systems
2010