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
- Wood, W.G.Recovery Control of Communicating Processes in a Distributed System. Computing Laboratory. 1980. Computing Laboratory Technical Report Series 158 (download PDF).
- Treleavan, P.C. and Hopkins, R.P.Decentralised Computation. Computing Laboratory. 1980. Computing Laboratory Technical Report Series 157 (download PDF).
- Treleavan, P.C.Proceedings of the Joint SRC/University of Newcastle upon Tyne Workshop on VLSI: Machine Architecture and Very High Level Languages. Computing Laboratory. 1980. Computing Laboratory Technical Report Series 156 (download PDF).
- Shields, M.W. and Lauer, P.E.Programming and Verifying Concurrent Systems in COSY. Computing Laboratory. 1980. Computing Laboratory Technical Report Series 155 (download PDF).
- Randell B. Reliability and Integrity of Distributed Computing Systems: Progress Report 1978-80. Computing Laboratory. 1980. Computing Laboratory Technical Report Series 154 (download PDF).
- Lauer, P.E. and Shields, M.W.COSY: An Environment for Development and Analysis of Concurrent and Distributed Systems. Computing Laboratory. 1980. Computing Laboratory Technical Report Series 153 (download PDF).
- Shields, M.W. and Lauer, P.E.Verifying Concurrent Systems Specification in COSY. Computing Laboratory. 1980. Computing Laboratory Technical Report Series 152 (download PDF).
- Lauer, P.E. and Torrigiani, P.R.A COSY Banker: Specification Highly Parallel and Distributed Resource Management. Computing Laboratory. 1980. Computing Laboratory Technical Report Series 151 (download PDF).
- Treleavan, P.C. and Mole, G.F.A Multi-processor Reduction Machine for User-defined Reduction Languages. Computing Laboratory. 1980. Computing Laboratory Technical Report Series 150 (download PDF).
- Shrivastava, S.K.Structuring Distributed Systems for Recoverability and Crash Resistance. Computing Laboratory. 1980. Computing Laboratory Technical Report Series 149 (download PDF).
- Best, E.The Relative Strength of the Semantic Axiom of K-density. Computing Laboratory. 1980. Computing Laboratory Technical Report Series 148 (download PDF).
- Best, E.An Operational Characterisation of the Atomicity of Activities. Computing Laboratory. 1980. Computing Laboratory Technical Report Series 147 (download PDF).
- Best, E.Adequacy of Path Programs. Computing Laboratory. 1980. Computing Laboratory Technical Report Series 146 (download PDF).
- Best, E.Notes on Predicate Transformers and Concurrent Programs. Computing Laboratory. 1980. Computing Laboratory Technical Report Series 145 (download PDF).