A. W. Roscoe
6 published titles
Topology and category theory in computer science
(Contributor)
1 edition
- ISBN: 0198537603
- Clarendon Press
- 1991
- Details
A Classical mind : essays in honour of C. A. R. Hoare
(Contributor)
1 edition
- ISBN: 0132948443
- Prentice Hall
- 1994
- Details
The theory and practice of concurrency
1 edition
- ISBN: 0136744095
- Prentice Hall
- 1998
- Details
Millennial perspectives in computer science : proceedings of the 1999 Oxford-Microsoft Symposium in honour of Professor Sir Antony Hoare
(Contributor)
1 edition
- ISBN: 0333922301
- Palgrave
- 2000
- Details
Understanding concurrent systems
1 edition
- ISBN: 9781848822580
- Springer
- 2010
- Details
Reflections on the work of C.A.R. Hoare
(Contributor)
1 edition
- ISBN: 9781848829114
- Springer
- 2010
- Details