Technical Reports
Year: 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990 1989 1988 1987 1986 1985 1984 1983 1982 1981 1980 1979 1978 1977 1976 1975 1974 1973 1972 1971 1970 1969
- Parrington, G.D.Management of Concurrency in a Reliable Object-Oriented Computing System. Computing Laboratory. 1988. Computing Laboratory Technical Report Series 277 (download PDF).
- Dixon, G.N.Object Management for Persistence and Recoverability. Computing Laboratory. 1988. Computing Laboratory Technical Report Series 276 (download PDF).
- Brown, A.W.A View Mechanism for an Integrated Project Support Environment. Computing Laboratory. 1988. Computing Laboratory Technical Report Series 275 (download PDF).
- Ezhilchelvan PD, Shrivastava SK, Tully A. Constructing Replicated Systems using Processors with Point-to-Point Communication Links. Computing Laboratory. 1988. Computing Laboratory Technical Report Series 274 (download PDF).
- Stewart, I.A.Expressibility, Complexity and Comparative Schematology. Computing Laboratory. 1988. Computing Laboratory Technical Report Series 273 (download PDF).
- Koelmans, A.M., McLauchlan, M.R. and Kinniment, D.J.Asynchronous Extensions to the STRICT High Level Design System. Computing Laboratory. 1988. Computing Laboratory Technical Report Series 272 (download PDF).
- Iliev, V.I., Dlay, S.S., Koelmans, A.M., McLauchlan, M.R. and Kinniment, D.J.An Advanced VLSI Security Device Employing Data Verification Features. Computing Laboratory. 1988. Computing Laboratory Technical Report Series 271 (download PDF).
- Koutny M. Adequacy-preserving Transformatics of COSY Path Programs. Computing Laboratory. 1988. Computing Laboratory Technical Report Series 270 (download PDF).
- Holt, C.M.Dynamic Communication Links. Computing Laboratory. 1988. Computing Laboratory Technical Report Series 269 (download PDF).
- Dobson JE. Modelling Real-world Issues for Dependable Software. Computing Laboratory. 1988. Computing Laboratory Technical Report Series 268 (download PDF).
- Dobson JE. Representing the Real World. Computing Laboratory. 1988. Computing Laboratory Technical Report Series 267 (download PDF).
- Mancini, L.V. and Pappalardo, G.Proving Correctness Properties of a Replicated Synchronous Program. Computing Laboratory. 1988. Computing Laboratory Technical Report Series 266 (download PDF).
- Zhang, Y.CPD: A Useful Tool for Designing Expert Systems. Computing Laboratory. 1988. Computing Laboratory Technical Report Series 265 (download PDF).
- Dobson JE. Security and Databases: A Methodological Approach. Computing Laboratory. 1988. Computing Laboratory Technical Report Series 264 (download PDF).
- Pappalardo G, Shrivastava SK. A Formal Treatment of Interference in Remote Procedure Calls. Computing Laboratory. 1988. Computing Laboratory Technical Report Series 263 (download PDF).
- Shrivastava SK, Dixon GN, Hedayati F, Parrington GD, Wheater SM. A Technical Overview of Arjuna: A System for Reliable Distributed Computing. Computing Laboratory. 1988. Computing Laboratory Technical Report Series 262 (download PDF).
- Pietkiewicz-Koutny M. Modelling Dynamic Reconfiguration in TMR Systems. Computing Laboratory. 1988. Computing Laboratory Technical Report Series 261 (download PDF).
- Parrington GD, Shrivastava SK. Towards a Theory of Replicated Processing. Computing Laboratory. 1988. Computing Laboratory Technical Report Series 260 (download PDF).
- Parrington GD, Shrivastava SK. Implementing Concurrency Control in Reliable Distributed Object Oriented Systems. Computing Laboratory. 1988. Computing Laboratory Technical Report Series 259 (download PDF).
- Mancini, L.V. and Pappalardo, G.Towards a Theory of Replicated Processing. Computing Laboratory. 1988. Computing Laboratory Technical Report Series 258 (download PDF).
- Wright K. Continuous Orthonormalization Algorithms for Boundary Value Problems. Computing Laboratory. 1988. Computing Laboratory Technical Report Series 257 (download PDF).
- Mancini, L.V. and Pappalardo, G.The Join Algorithm: Ordering Messages in Replicated Systems. Computing Laboratory. 1988. Computing Laboratory Technical Report Series 256 (download PDF).
- Holt, C.M.Concurrent Constructive Logic. Computing Laboratory. 1988. Computing Laboratory Technical Report Series 255 (download PDF).
- Brown, A.W.An Introduction to Integrated Project Support Environments. Computing Laboratory. 1988. Computing Laboratory Technical Report Series 254 (download PDF).
- Mancini, L.V.The Verification of Distributed Redundant Systems. Computing Laboratory. 1988. Computing Laboratory Technical Report Series 253 (download PDF).
- Ezhilchelvan PD. With Less Malicious Byzantine Generals: Agreement Algorithms Under Value Faults. Computing Laboratory. 1988. Computing Laboratory Technical Report Series 252 (download PDF).
- Holt, C.M.IF Statements as Logical Disjunction. Computing Laboratory. 1988. Computing Laboratory Technical Report Series 251 (download PDF).
- Holt, C.M.An Associative Constructive Logic. Computing Laboratory. 1988. Computing Laboratory Technical Report Series 250 (download PDF).