40 Years of Computing at Newcastle
Department Technical Report Series - 1979
- 130: E. Best and B. Randell. A formal model of atomicity in asynchronous systems, Computing Laboratory, University of Newcastle upon Tyne, 1979.
- 131: J.L. Szwacfiter and L.B. Wilson. The cycle cover problem, Computing Laboratory, University of Newcastle upon Tyne, 1979.
- 132: M.W. Shields and P.E. Lauer. A formal semantics for concurrent systems, Computing Laboratory, University of Newcastle upon Tyne, 1979.
- 133: L.B. Wilson. The use of recurrence relations in computing, Computing Laboratory, University of Newcastle upon Tyne, 1979.
- 134: P.A. Lee, N. Ghani and K. Heron. A recovery cache for the PDP-11, Computing Laboratory, University of Newcastle upon Tyne, 1979.
- 135: K. Wright. Asymptotic properties of the norms of certain collocation matrices, Computing Laboratory, University of Newcastle upon Tyne, 1979.
- 136: P.E. Lauer, P.R. Torrigiani and M.W. Shields. COSY: a system specification language based on paths and processes, Computing Laboratory, University of Newcastle upon Tyne, 1979.
- 137: T. Anderson and P.A. Lee. The provisions of recoverable interfaces, Computing Laboratory, University of Newcastle upon Tyne, 1979.
- 138: B. Randell. Software engineering in 1968, Computing Laboratory, University of Newcastle upon Tyne, 1979.
- 139: E.P. Farrell, N. Ghani and P.C. Treleaven. A concurrent computer architecture and a ring based implementation, Computing Laboratory, University of Newcastle upon Tyne, 1979.
- 140: B. Randell. An annotated bibliography on the origins of digital computers, Computing Laboratory, University of Newcastle upon Tyne, 1979.
- 141: M.W. Shields. Adequate path expressions, Computing Laboratory, University of Newcastle upon Tyne, 1979.
- 142: P.E. Lauer, M.W. Shields and E. Best. Design and analysis of highly parallel and distributed systems, Computing Laboratory, University of Newcastle upon Tyne, 1979.
- 143: P.E. Lauer, M.W. Shields and E. Best. Formal theory of the basic COSY notation, Computing Laboratory, University of Newcastle upon Tyne, 1979.
- 144: R.P. Hopkins, P.W. Rautenbach and P.C. Treleaven. A computer supporting data flow control flow and updateable memory, Computing Laboratory, University of Newcastle upon Tyne, 1979.
Department Technical Report Series Index
Contents Page - 40 years of Computing at Newcastle
Department Technical Report Series - 1979, 27 June 1997