Journals and Books
by Bill Roscoe

S.D. Brookes, C.A.R. Hoare and A.W. Roscoe, "A Theory of Communicating Sequential Processes"
Journal of the Association for Computing Machinery, 1984, vol 31, pp560-599

S.D. Brookes and A.W. Roscoe, "An Improved Failures Model for Communicating Sequential Processes"
Springer Verlag, 1985, Proceedings NSF-SERC Seminar on Concurrency

G. Barrett and A.W. Roscoe, "Unbounded Nondeterminism in CSP"
Springer-Verlag, 1989, Vol 298,
Proceedings of MFPS89, Lecture Notes in Computer Science

S.D. Brookes and A.W. Roscoe, "Deadlock Analysis in Networks of Communicating Processes"
Distributed Computing, 1991, Vol 4, pp 209-230

A.D.B. Cox, M.H. Goldsmith, A.W. Roscoe and J.B. Scattergood, "Formal Methods in the Development of the H1 Transputer"
IOS, 1991, Proceedings of Transputing 91

P.J. Collins, P.J. Moody, G.M. Reed and A.W. Roscoe, "A Lattice of Conditions on Topological Spaces II"
Fundamental Informatic, 1991, Vol 138, pp 69-81

P.J. Collins, G.M. Reed, A.W. Roscoe and M.E. Rudin, editor J. van Mill and G.M Reed, "The Point Countable Base Problem"
North-Holland, 1990, pp 237-238, Open Problems in Topology

J.W. Davies, D.M. Jackson, G.M. Reed, A.W. Roscoe and S.A. Schneider, "Specifying Properties of Timed Communicating Sequential Processes using Temporal Logic"
1990, SPEC Project Report

J.W. Davies, D.M. Jackson, G.M. Reed, J.N. Reed, A.W. Roscoe and S.A. Schneider, "Timed CSP : Theory and Applications"
Springer-Verlag, 1992, Vol 600, pp 640-675
Proceedings of the REX Workshop, Nijmegen, 1991, Lecture Notes in Computer Science Invited Submission

J.W. Davies, D.M. Jackson, G.M. Reed, A.W. Roscoe and S.A. Schneider, "Communications and Correctness in Timed CSP"
1990, OUCL. Technical Report to Esprit SPEC Project

E.K. van Douwen, G.M. Reed, A.W. Roscoe and I.J. Tree, "Star Covering Properties"
Topology Applications, 1991, Vol 39, pp 71-103

C.A.R. Hoare, I.J. Hayes, J. He, C.C. Morgan, A.W. Roscoe, J.W. Sanders, I.H. Sorensen, J.M. Spivey and B.A. Sufrin, "The Laws of Programming"
Communications of the ACM, 1987, Vol 30, No. 8, pp 672-687
see Corrigenda in Communications of the ACM, 30(9): 770

C.A.R. Hoare and A.W. Roscoe, "Programs as Executable Predicates"
ICOT, 1984, pp 220-228,
Proceedings of the International Conference on Fifth Generation Computer Systems, November 6--9 1984, Tokyo, Japan

T.Y. Kong and A.W. Roscoe, "A theory of binary digital pictures"
Computer Vision, Graphics & Image Processing, 1985, Vol 32, No. 2, pp 221-43

T.Y. Kong and A.W. Roscoe, "Continuous analogs of axiomatized digital surfaces"
Computer Vision, Graphics & Image Processing, 1985, Vol 29, No. 1, pp 60-86

A.W. Roscoe and T.Y. Kong, "Concepts of Digital Topology"
Topology Applications, 1992, Vol 46, pp 219-262

P.J. Moody and A.W. Roscoe, "Acyclic Monotone Normality"
Topology Applications, 1992, Vol 47, pp 53-67

A.W. Roscoe and N. Dathi, "The pursuit of deadlock freedom"
Information and Computation, 1987, Vol 75, pp 289-327

A.W. Roscoe, M.H. Goldsmith and B.G.O. Scott, "A Semantic Model for Occam II"
1993, Proceedings of Transputing 93

A.W. Roscoe, M.H. Goldsmith and B.G.O. Scott, "Denotational Semantics for Occam 2, Part 1"
Transputer Communications, 1993, Vol 1, No. 2, pp 65-91

A.W. Roscoe, M.H. Goldsmith and B.G.O. Scott, "Denotational Semantics for Occam 2, Part 2"
Transputer Communications, 1994, Vol 2, No. 1, pp 25-67

A. W. Roscoe, "Denotational Semantics for occam"
Springer, 1985. Proceedings of the July 1984 Seminar on Concurrency LNCS 197

A.W. Roscoe, editor G.M. Reed, A.W. Roscoe and R.F. Wachter, "Topology, Computer Science and the Mathematics of Convergence"
Clarendon Press, 1991. Topology and Category Theory in Computer Science

A.W. Roscoe, "Occam in the Specification and Verification of Microprocessors"
Phil Trans R. Soc Lond A, 1992, Vol 339, pp 137-151

A.W. Roscoe, editor M.J.C. Gordon and C.A.R. Hoare, "Occam in the Specification and Verification of Microprocessors"
Prentice-Hall International, 1992. Mechanised Reasoning and Hardware Design

A.W. Roscoe, "Model-Checking CSP"
Prentice-Hall International, 1994, chapter 21, pp 353-378 A Classical Mind: Essays in Honour of C.A.R. Hoare Prentice-Hall International Series in Computer Science

G.M. Reed and A.W. Roscoe, editor L. Kott, "A Timed Model for Communicating Sequential Processes"
Springer-Verlag, 1986, Vol 226, pp 314-23
Proceedings of the 13th International Colloquim on Automata, Languages and Programming, Rennes, France, July 1986. Lecture Notes in Computer Science

G.M. Reed and A.W. Roscoe, "A timed model for communicating sequential processes"
Theoretical Computer Science, 1988, Vol 58, pp 249-61
Proceedings of the Thirteenth International Colloquium on Automata, Languages and Programming, Rennes, France, 15--19 July 1986

G.M. Reed and A.W. Roscoe, editor A. Yonewaza and T. Ito, "Analysing $TM_{FS}$ : A Study of Nondeterminism in Real-Time Concurrency"
Springer-Verlag, 1991, Vol 491
Concurrency : Theory, Language and Architecture, Lecture Notes in Computer Science

A.W. Roscoe and G.M. Reed, "Domains for denotational semantics"
Prentice-Hall International, 1992

G.M. Reed, A.W. Roscoe and S.A. Schneider, "CSP and Timewise Refinement"
Springer-Verlag, 1991. BCS FACS 4th Refinement Workshop, Cambridge 1991
Workshops in Computing. Invited submission

A.W. Roscoe, J.C.P. Woodcock and L. Wulf, "Non-interference through determinism"
Springer-Verlag, 1994, Vol 875. ESORICS 94
Lecture Notes in Computer Science