A
A. W. Roscoe
7 works on record
Works
The theory and practice of concurrency
1998
Classical Mind, A
1994
Understanding Concurrent Systems
Reflections on the work of C.A.R. Hoare
Topology and category theory in computer science
The laws of Occam programming
The laws of Occam programming
1986
The pursuit of deadlock freedom
The pursuit of deadlock freedom
1986