40 Years of Computing at Newcastle
Department Technical Report Series - 1977
- 97: J.Y. Cotronis and P.E. Lauer. Verification of concurrent systems of processes, Computing Laboratory, University of Newcastle upon Tyne, 1977.
- 98: J.H. Hine, I. Mitrani and S. Tsur. The control of response times in multi-class systems by memory, Computing Laboratory, University of Newcastle upon Tyne, 1977.
- 99: J.-P. Banatre and S.K. Shrivastava. Reliable resource allocation between unreliable processes, Computing Laboratory, University of Newcastle upon Tyne, 1977.
- 100: J.S.M. Verhofstad. On multi-level recovery: an approach using partially recoverable interfaces, Computing Laboratory, University of Newcastle upon Tyne, 1977.
- 101: J. Eve and R. Kurki-Suonio. Finding strongly connected components of a directed graph, Computing Laboratory, University of Newcastle upon Tyne, 1977.
- 102: B. Randell, P.A. Lee and P.C. Treleaven. Reliable computing systems, Computing Laboratory, University of Newcastle upon Tyne, 1977.
- 103: P.E. Lauer, E. Best and M.W. Shields. On the problem of achieving adequacy of concurrent programs, Computing Laboratory, University of Newcastle upon Tyne, 1977.
- 104: P.J. Prince and K. Wright. Runge-Kutta processes with exact principal error equations, Computing Laboratory, University of Newcastle upon Tyne, 1977.
- 105: R.E. Devillers and P.E. Lauer. A general mechanism for awoiding starvation with distributed control, Computing Laboratory, University of Newcastle upon Tyne, 1977.
- 106: R.B. Gimson. Data representation by program transformation, Computing Laboratory, University of Newcastle upon Tyne, 1977.
- 107: P.C. Treleaven. Exploiting problem-parallelism in computer systems, Computing Laboratory, University of Newcastle upon Tyne, 1977.
- 108: P.C. Treleaven. Principal components of data flow computers, Computing Laboratory, University of Newcastle upon Tyne, 1977.
- 109: N. Ghani and J.G. Givens. A teaching laboratory for digital systems, Computing Laboratory, University of Newcastle upon Tyne, 1977.
- 110: J.H. Hine. Pre-specified performance requirements in multi-programmed computer systems, Computing Laboratory, University of Newcastle upon Tyne, 1977.
- 111: T. Anderson and S.K. Shrivastava. Reliable software: a selective annotated bibliography, Computing Laboratory, University of Newcastle upon Tyne, 1977.
- 112: J.S. Clowes, I. Mitrani and L.B. Wilson. Level number sequences for binary trees, Computing Laboratory, University of Newcastle upon Tyne, 1977.
- 113: P.M. Merlin and B. Randell. Consistent state restoration in distributed systems, Computing Laboratory, University of Newcastle upon Tyne, 1977.
- 114: H.A. Schmid and E. Best. A step towards a solution of the liveness problem in petri nets, Computing Laboratory, University of Newcastle upon Tyne, 1977.
- 115: T. Anderson, P.A. Lee and S.K. Shrivastava. A model of recoverability in multi-level systems, Computing Laboratory, University of Newcastle upon Tyne, 1977.
- 116: E. Best. A theorem on the characteristics of non-sequential processes., Computing Laboratory, University of Newcastle upon Tyne, 1977.
- 117: P.E. Lauer and M.W. Shields. Abstract specification of resource accessing disciplines: adequacy, starvation, priority and interrupts, Computing Laboratory, University of Newcastle upon Tyne, 1977.
Department Technical Report Series Index
Contents Page - 40 years of Computing at Newcastle
Department Technical Report Series - 1977, 27 June 1997