A. W. Roscoe

Identifiers

Open LibraryOL395399A

Top Subjects

Computer science (2)
General Theory of Computing (1)
Computer Science (1)
Computer Books: General (1)
Computer Science (General) (1)
Computers - General Information (1)
Computer Bks - General Information (1)

Books by A. W. Roscoe

Total count: 6

The pursuit of deadlock freedom

Oxford University Computing Laboratory, Programming Research Group1986-01-01
The laws of Occam programming

Oxford University Computing Laboratory, Programming Research Group1986-01-01
Classical Mind, AEssays in Honour of CAR Hoare1 edition

Prentice Hall PTR1994-02-23
The theory and practice of concurrency

Prentice Hall1998-01-01
Reflections on the work of C.A.R. Hoare

Springer2010-01-01
Understanding Concurrent Systems

Springer-Verlag London Limited2011-01-01