40 Years of Computing at Newcastle
Department Technical Report Series - 1980
- 145: E. Best. Notes on predicate transformers and concurrent programs, Computing Laboratory, University of Newcastle upon Tyne, 1980.
- 146: E. Best. Adequacy of path programs, Computing Laboratory, University of Newcastle upon Tyne, 1980.
- 147: E. Best. An operational characterisation of the atomicity of activities, Computing Laboratory, University of Newcastle upon Tyne, 1980.
- 148: E. Best. The relative strength of the semantic axiom of K-density, Computing Laboratory, University of Newcastle upon Tyne, 1980.
- 149: S.K. Shrivastava. Structuring distributed systems for recoverability and crash resistance, Computing Laboratory, University of Newcastle upon Tyne, 1980.
- 150: P.C. Treleaven and G.F. Mole. A multi-processor reduction machine for user-defined reduction languages, Computing Laboratory, University of Newcastle upon Tyne, 1980.
- 151: P.E. Lauer and P.R. Torrigiani. A COSY banker: specification highly parallel and distributed resource management, Computing Laboratory, University of Newcastle upon Tyne, 1980.
- 152: M.W. Shields and P.E. Lauer. Verifying concurrent systems specification in COSY, Computing Laboratory, University of Newcastle upon Tyne, 1980.
- 153: P.E. Lauer and M.W. Shields. COSY: An environment for development and analysis of concurrent and distributed systems, Computing Laboratory, University of Newcastle upon Tyne, 1980.
- 154: B. Randell. Reliability and integrity of distributed computing systems. Progress Report 1978-80, 1980.
- 155: M.W. Shields and P.E. Lauer. Programming and verifying concurrent systems in COSY, Computing Laboratory, University of Newcastle upon Tyne, 1980.
- 156: P.C. Treleaven. Proceedings of the joint SRC/University of Newcastle upon Tyne Workshop on VLSI: machine architecture and very high level languages, Computing Laboratory, University of Newcastle upon Tyne, 1980.
- 157: P.C. Treleaven and R.P. Hopkins. Decentralised computation, Computing Laboratory, University of Newcastle upon Tyne, 1980.
- 158: W.G. Wood. Recovery control of communicating processes in a distributed system, Computing Laboratory, University of Newcastle upon Tyne, 1980.
Department Technical Report Series Index
Contents Page - 40 years of Computing at Newcastle
Department Technical Report Series - 1980, 27 June 1997