40 Years of Computing at Newcastle

Department Technical Report Series - 1988

• 250: C.M. Holt. An associative constructive logic, Computing Laboratory, University of Newcastle upon Tyne, 1988.

• 251: C.M. Holt. IF statements as logical disjunction, Computing Laboratory, University of Newcastle upon Tyne, 1988.

• 252: P.D. Ezhilchelvan. With less malicious byzantine generals: agreement algorithms under value faults., Computing Laboratory, University of Newcastle upon Tyne, 1988.

• 253: L.V. Mancini. The verification of distributed redundant systems, Computing Laboratory, University of Newcastle upon Tyne, 1988.

• 254: A.W. Brown. An introduction to integrated project support environments, Computing Laboratory, University of Newcastle upon Tyne, 1988.

• 255: C.M. Holt. Concurrent constructive logic, Computing Laboratory, University of Newcastle upon Tyne, 1988.

• 256: L. Mancini and G. Pappalardo. The join algorithm: ordering messages in replicated systems, Computing Laboratory, University of Newcastle upon Tyne, 1988.

• 257: K. Wright. Continuous orthonormalization algorithms for boundary value problems, Computing Laboratory, University of Newcastle upon Tyne, 1988.

• 258: L. Mancini and G. Pappalardo. Towards a theory of replicated processing, Computing Laboratory, University of Newcastle upon Tyne, 1988.

• 259: G.D. Parrington and S.K. Shrivastava. Implementing concurrency control in reliable distributed object oriented systems, Computing Laboratory, University of Newcastle upon Tyne, 1988.

• 260: L.V. Mancini and S.K. Shrivastava. Fault-tolerant reference counting for garbage collection in distributed systems, Computing Laboratory, University of Newcastle upon Tyne, 1988.

• 261: M. Pietkiewica-Koutny. Modelling dynamic reconfiguration in TMR systems, Computing Laboratory, University of Newcastle upon Tyne, 1988.

• 262: S.K. Shrivastava, G.N. Dixon, F. Hedayati, G.D. Parrington and S.M. Wheater. A technical overview of Arjuna: a system for reliable distributed computing, Computing Laboratory, University of Newcastle upon Tyne, 1988.

• 263: G. Pappalardo and S.K. Shrivastava. A formal treatment of interference in remote procedure calls, Computing Laboratory, University of Newcastle upon Tyne, 1988.

• 264: J. Dobson. Security and databases: a methodological approach, Computing Laboratory, University of Newcastle upon Tyne, 1988.

• 265: Y. Zhang. CPD: a useful tool for designing expert systems, Computing Laboratory, University of Newcastle upon Tyne, 1988.

• 266: L. Mancini and G. Pappalardo. Proving correctness properties of a replicated syschronous program, Computing Laboratory, University of Newcastle upon Tyne, 1988.

• 267: J.E. Dobson. Representing the real world, Computing Laboratory, University of Newcastle upon Tyne, 1988.

• 268: J.E. Dobson. Modelling real-world issues for dependable software, Computing Laboratory, University of Newcastle upon Tyne, 1988.

• 269: C.M. Holt. Dynamic communication links, Computing Laboratory, University of Newcastle upon Tyne, 1988.

• 270: M. Koutny. Adequacy-preserving transformatics of COSY path programs, Computing Laboratory, University of Newcastle upon Tyne, 1988.

• 271: V.I. Iliev, S.S. Dlay, A.M. Koelmans, M.R. McLauchlan and D.J. Kinniment. An advanced VLSI security Device employing data verification features, Computing Laboratory, University of Newcastle upon Tyne, 1988.

• 272: A.M. Koelmans, M.R. McLauchlan and D.J. Kinniment. Asynchronous extensions to the STRICT high level design system, Computing Laboratory, University of Newcastle upon Tyne, 1988.

• 273: I.A. Stewart. Rxpressability, complexity, and comparative schematology, Computing Laboratory, University of Newcastle upon Tyne, 1988.

• 274: P.D. Ezhilchelvan, S.K. Shrivastava and A. Tully. Constructing replicated systems using processors with point to point communication links, Computing Laboratory, University of Newcastle upon Tyne, 1988.

• 275: A.W. Brown. A view mechanism for an integrated project support environment, Computing Laboratory, University of Newcastle upon Tyne, 1988.

• 276: G.N. Dixon. Object management for persistence and recoverability, Computing Laboratory, University of Newcastle upon Tyne, 1988.

• 277: G.D. Parrington. Management of concurrency in a reliable object-oriented computing system, Computing Laboratory, University of Newcastle upon Tyne, 1988.