| title | media type | ISBN-13 | year of publica- tion | other author(s) |
|---|---|---|---|---|
| Classical Mind, A: Essays in Honour of CAR Hoare | Textbook Binding | 978-0-13-294844-9 | 1994 | |
| Domains for Denotational Semantics | Hardcover | 978-0-13-219023-7 | 1998 | G. M. Reed |
| Domains for Denotational Semantics | Paperback | 978-0-13-218546-2 | 1992 | " |
| Theory and Practice of Concurrency | Textbook Binding | 978-0-13-674409-2 | 1997 | |
| Topology and Category Theory in Computer Science | Hardcover | 978-0-19-853760-1 | 1991 | G. M. Reed · R. F. Wachter |
| Understanding Concurrent Systems | " | 978-1-84882-257-3 | 2010 | |
A. R. · A. Roscoe · A. W. · Andrew W. Roscoe · W R.
Oxford University Press · Prentice Hall · Springer