👤

A. W. Roscoe

6 books

Books by A. W. Roscoe

Understanding Concurrent Systems
Understanding Concurrent Systems
2011
The theory and practice of concurrency
The theory and practice of concurrency
1998
Classical Mind, A
Classical Mind, A
1994
Topology and category theory in computer science
Topology and category theory in computer science
1991
The laws of Occam programming
The laws of Occam programming
1986
The pursuit of deadlock freedo
The pursuit of deadlock freedom
1986