Newcastle University

Publications

The School of Computing Science was originally founded in 1957 as the Computing Laboratory and has published thousands of publications. At that time Newcastle University was part of Durham University and known as King's College. In 1963 King's College became the University of Newcastle upon Tyne, and in 1992 the Computing Laboratory became the Department of Computing Science.

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 1968 1967 1966 1965 1964 1963 1962 1961 1960 1958

• Lloyd L, Yakovlev A, Koelmans AM. A 2-Phase Asynchronous Event Driven Buffer with Completion Detection Signalling. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 573.
• Romanovsky A, Zorzo AF. A Distributed Coordinated Atomic Action Scheme. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 608.
• Wheater SM, Shrivastava SK. A Framework for Configurable Distributed Transactions. In: 7th High Performance Transaction Systems Workshop (HPTS 1997). 1997, Pacific Grove, California, USA.
• Fitzgerald JS. A Proof of Satisfiability in Mukherjee and Stavridou's Ammunition Control System. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 616.
• Fnlmerson P-I, Brignell C, Wipat A, Cartez N, Pragia Z, Guy BJ, Harwood CR. A putative DNA repair operon in B. subtilis comprising a gene encoding a DNA repair polymerase, a routs homolog and an unidentified. FASEB Journal 1997, 11(9), A1368-.
• Cortadella J, Kishinevsky M, Kondratyev A, Lavagno L, Yakovlev A. A Region-Based Theory for State Assignment in Speed-independent Circuits. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 1997, 16(8), 793-812.
• Doherty G, Harrison MD. A representational approach to the specification of presentations. In: Design, Specification, and Verification of Interactive Systems’97. Proceedings of the Eurographics Workshop. 1997, Grenada, Spain: Springer.
• Dearden AM, Harrison MD. A Software Engineering Model for Case Memory Systems. Computer Journal 1997, 40(4), 167-182.
• Romanovsky A. A Study of Atomic Action Schemes Intended for Standard Ada. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 600.
• Klemm R, Rangarajan S, Singh N, Van Moorsel A. A Suite of Internet-Accessible Analysis Tools. In: Computer Performance Evaluation Modelling Techniques and Tools 9th International Conference. 1997, St. Malo, France: Springer.
• Ranno F, Shrivastava SK, Wheater SM. A System for Specifying and Coordinating the Execution of Reliable Distributed Applications. In: 1st IFIP TC 6 WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems (DAIS '97). 1997, Cottbus, Germany: Chapman & Hall.
• Ezhilchelvan PD, Brasileiro FV, Speirs NA. A Timeout Based Message Ordering Protocol for a Lightweight Software Implementation of TMR Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 582.
• Olivier P, ed. AAAI 1996 Spring Symposium. Cognitive and computational models of spatial representation, Stanford University, CA. California, USA: AAAI Press, 1997.
• Dearden AM, Harrison MD. Abstract Models for HCI. International Journal of Human-Computer Studies 1997, 46(1), 151-177.
• McCarthy JC, Healey PGT, Wright PC, Harrison MD. Accountability of work activity in high-consequence work systems: Human error in context. International Journal of Human-Computer Studies 1997, 47(6), 735-766.
• Hesketh M, Koutny M. An Axiomatisation of Duplication Equivalence in the Petri Box Calculus. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 585.
• Barcellos AMP, Ezhilchelvan PD. An End-to-End Reliable Multicast Protocol Using Polling for Scaleability. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 609.
• Gothel SF, Schmid R, Wipat A, Carter NM, Emmerson PT, Harwood CR, Marahiel MA. An internal FK506-binding domain is the catalytic core of the prolyl isomerase activity associated with the Bacillus subtilis trigger factor. European Journal of Biochemistry 1997, 244(1), 59-65.
• Saeed A, Cepin M, de Lemos R, et al. An Object-Based Approach to Modelling and Analysis of Failure Properties. In: 16th International Conference on Computer Safety, Reliability and Security (SAFECOMP). 1997, University of York, UK: Springer-Verlag, London.
• Cepin M, de Lemos R, Mavko B, Riddle S, Saeed A. An Object-Based Approach to Modelling and Analysis of Failure Properties. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 598.
• Andras P. Approximation of Fractals with Neural Networks. Studia Universitatis Babes-Bolyai: Mathematica 1997, 42(1), 15-23.
• Lloyd L, Heron K, Koelmans AM, Yakovlev A. Asynchronous Microprocessors: From High Level Model to FPGA Implementation. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 610.
• Randell B, Romanovsky A, Stroud RJ, Xu J, Zorzo AF. Co-ordinated Atomic Actions: From Concept to Implementation. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 595.
• Xu J, Romanovsky A, Randell B. Co-ordinated Exception Handling in Distributed Object-Oriented Systems: Improved Algorithm, Correctness and Implementation. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 596.
• Anisimov N, Koutny M. Compositional Petri Nets in Protocol Engineering. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 575.
• Little MC. Constructing reliable Web applications using atomic actions. Computer Networks 1997, 29(8-13), 1281-1290.
• Little MC, Shrivastava SK, Caughey SJ, Ingham DB. Constructing Reliable Web Applications Using Atomic Actions. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 601.
• Little MC, Shrivastava SK, Caughey SJ, Ingham DB. Constructing Reliable Web Applications Using Atomic Actions. In: 6th International World Wide Web Conference. 1997, Santa Clara, California, USA: Elsevier Science Publishers.
• Semenov A, Yakovlev A. Contextual Net Unfolding and Asynchronous System Verification. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 572.
• Romanovsky A. Conversational Group Service. Operating Systems Review 1997, 31(1), 54-63.
• de Lemos R, Romanovsky A. Coordinated Atomic Actions in Modelling Objects Cooperation. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 620.
• Strigini L, Di Giandomenico F, Romanovsky A. Coordinated backward recovery between client processes and data servers. IEE Proceedings: Software 1997, 144(2), 134-146.
• Xu J, Romanovsky A, Randell B. Coordinated Exception Handling in Distributed Object Systems: from Model to System Implementation. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 612.
• Olivier P. Coordinating the Visual and Verbal Domains. In: ACM Workshop on Perceptual User Interfaces. 1997, Banff, Alberta, Canada.
• Bryans J, Schneider S. CSP, PVS and a Recursive Authentication Protocol. In: DIMACS Workshop on Design and Formal Verification of Security Protocols. 1997, DIMACS Center, Rutgers University, Piscataway, NJ, USA: DIMACS.
• Cortadella J, Kishinevsky M, Kondratyev A, Lavagno L, Pastor E, Yakovlev A. Decomposition and Technology Mapping of Speed-Independent Circuits Using Boolean Relations. In: IEEE/ACM International Conference on Computer-Aided Design (ICCAD). 1997, San Jose, CA, USA: IEEE Computer Society Press.
• Riddle S, Wallis PJL. Denotational Semantics and Refinement. In: 1st Irish Workshop on Formal Methods (IWFM). 1997, Dublin, Ireland: Springer-Verlag.
• Lee PA, Phillips C. Der C++ - kurs. Der Einsteig in die Objektorientierte Programmierung. Berlin: International Thompson Computer Press, 1997.
• Carrion C, Yakovlev A. Design and Evaluation of Two Asynchronous Token Ring Adapters. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 562.
• Semenov A, Koelmans AM, Lloyd L, Yakovlev A. Designing an asynchronous processor using petri nets. IEEE Micro 1997, 17(2), 54-63.
• Black D, Ezhilchelvan PD, Shrivastava SK. Determining the Last Membership of a Process Group after a Total Failure. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 602.
• Olivier P. Diagrams and Machine Reasoning. In: EPSRC/ESRC Workshop on Thinking with Diagrams. 1997, Plymouth, UK.
• Little MC, Shrivastava SK. Distributed Transactions in Java. In: 7th High Performance Transaction Systems Workshop (HPTS 1997). 1997, Pacific Grove, California, USA.
• Olivier P. Estimating Visuospatial Properties in Graphics. In: Expert Systems '97: 17th BCS SGES International Conference. 1997, Cambridge, UK: SGES Publications.
• Olivier P. Estimating Visuospatial Properties in Graphics. In: Fourteenth National Conference on Artificial Intelligence (AAAI-97), Workshop on Language and Space. 1997, Providence, Rhode Island.
• Anderson T, et al. Evaluation of Danish Electronics, Light & Acoustics. Copenhagen, 1997. Report for the Danish agency for Trade and Industry.
• Romanovsky A, Xu J, Randell B. Exception Handling in Object-Oriented Real-Time Distributed Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 618.
• Chu H-D, Dobson JE, Liu I-C. FAST: A framework for automating statistics-based testing. Software Quality Journal 1997, 6(1), 13-36.
• Chu HD, Dobson JE. FAST: A Framework for Automating Statistics-Based Testing. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 564.
• Smith J, Shrivastava SK. Fault-tolerant parallel applications using queues and actions. In: Proceedings of the International Conference on Parallel Processing. 1997, IEEE Computer Society.
• Smith J, Shrivastava SK. Fault-Tolerant Parallel Applications Using Queues and Actions. In: 26th International Conference on Parallel Processing (ICPP '97). 1997, Bloomington, IL, USA: IEEE Computer Society Press.
• Ingham DB, Caughey SJ, Little MC. Fixing the "Broken-link" Problem: The W3Objects Approach. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 591.
• Caughey SJ, Ingham DB, Little MC. Flexible Open Caching for the Web. In: 6th International World Wide Web Conference. 1997, Santa Clara, California, USA: Elsevier Science.
• Fitzgerald JS, Jones CB, Lucas P, ed. FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, proceedings of the 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Berlin: Springer-Verlag, 1997.
• Anderson T. Foreword. In: Redmill, F., Dale, C.J, ed. Life Cycle Management for Dependability. New York; London: Springer, 1997.
• Campos JC, Harrison MD. Formally verifying interactive systems: a review. In: Design, Specification, and Verification of Interactive Systems’97. Proceedings of the Eurographics Workshop. 1997, Grenada, Spain: Springer.
• Janicki R, Koutny M. Fundamentals of modelling concurrency using discrete relational structures. Acta Informatica 1997, 34(5), 367-388.
• Olivier P. Hierarchy and attention in computational imagery. Machine Graphics and Vision 1997, 6(1), 77-88.
• Kondratyev A, Cortadella J, Kishinevsky M, Lavagno L, Taubin A, Yakovlev A. Identifying State Coding Conflicts in Asynchronous System Specifications Using Petri Net Unfoldings. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 614.
• Dearden AM, Harrison MD. Impact and the Design of the Human-Machine Interface. IEEE Aerospace and Electronic Systems Magazine 1997, 12(2), 19-25.
• Romanovsky A, Randell B, Stroud R, Xu J, Zorzo AF. Implementation of blocking coordinated atomic actions based on forward error recovery. Journal of Systems Architecture 1997, 43(10), 687-699.
• Brasileiro FV, Ezhilchelvan PD, Shrivastava SK, Speirs NA. Implementing Fail-Silent Nodes for Distributed Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 581.
• Romanovsky A, Randell B, Stroud RJ, Xu J, Zorzo AF. Implementing Synchronous Co-ordinated Atomic Actions Based on Forward Error Recovery. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 561.
• Andras P. Knowledge Representation in Artificial Neural Networks. Annales Universitatis Occidentalis Timisiensis, Philosophia 1997, IX, 173-185.
• McCarthy JC, Wright PC, Healey P, Dearden A, Harrison MD. Locating the scene: The particular and the general in contexts for ambulance control. In: Proceedings of the International ACM SIGGROUP Conference on Supporting Group Work: The Integration Challenge (GROUP). 1997, Pheonix, Arizona, USA: ACM.
• Bryans J, Schneider S. Mechanical Verification of the full Needham-Schroeder Public Key Protocol. London, UK: Royal Holloway and Bedford New College, 1997. Department of Computing Science Technical Report Series 97-11.
• Kinniment DJ, Yakovlev A, Gao B. MetaStable Behaviour in Arbiter Circuits. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 604.
• Romanovsky A, Wang Y-M. Method for Deadlock Recovery Using Consistent Global Checkpoints. USA, 5.664.088, 1997, 30-11-1995.
• Pietkiewicz-Koutny M. Morphisms for Inhibitor Nets and Related Transition Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 613.
• Andras P. Neural Networks for Decision Modelling. Brain, Cognition, Behaviour 1997, 1(1), 10-36.
• Tikhomirova NV, Shturtz IV, Romanovsky A. Object-Oriented Approach to State Restoration by Reversion in Fault Tolerant Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 571.
• Fields B, Wright P, Harrison M. Objectives, strategies and resources as design drivers. In: Human-Computer Interaction: IFIP TC13 International Conference on Human-Computer Interaction (INTERACT). 1997, Sydney, Australia: Chapman and Hall.
• Klemm R, van Moorsel A. Offering Computing Services Through Networks of Simple HTTP Servers. New Jersey, USA: Bell Labs Research, 1997. BL011256-970805-05.
• Romanovsky A, Zorzo AF. On Distribution of Coordinated Atomic Actions. Operating Systems Review 1997, 31(4), 63-71.
• Romanovsky A, Mitchell SE, Wellings AJ. On Programming Atomic Actions in Ada 95. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 586.
• Lyu M, Rangarajan S, van Moorsel A. Optimization of Reliability Allocation and Testing Schedule for Software Systems. In: Eighth International Symposium on Software Reliability Engineering. 1997, Albuquerque, New Mexico: IEEE Computer Society.
• Silva F, Watson P. Or-Parallel Prolog on a Distributed Memory Architecture. Portugal: DCC - FC & LIACC, Universidade do Porto, 1997. 97-6.
• Steggles LJ. Parameterised Higher-Order Algebraic Specifications. In: 6th International Joint Conference on Algebraic and Logic Programming (ALP '97 - HOA '97). 1997, Southampton, UK: Springer-Verlag.
• Steggles LJ. Parameterised Higher-Order Algebraic Specifications. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 603.
• Semenov A, Yakovlev A, Pastor E, Pena MA, Cortadella J, Lavagno L. Partial Order Based Approach to Synthesis of Speed-Independent Circuits. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 566.
• Romanovsky A. Practical exception handling and resolution in concurrent programs. Computer Languages 1997, 23(1), 43-58.
• Fitzgerald JS, Jones CB. Proof in the Analysis of a Model of a Tracking System. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 617.
• Van Moorsel A. Providing System Analysis Tools over the Internet. New Jersey, USA: Bell Labs Research, 1997. BL011256-970801.
• Randell B. Review of “The Timetable of Computers: A chronology of the most important people and events in the history of computers”, by D.D. Spencer (Review no. 0894). Computing Reviews 1997, 38(11), 558-559.
• Redmill F, Anderson T, ed. Safer Systems: Proceedings of the Fifth Safety-critical Systems Symposium, Brighton, 1997. London: Springer, 1997.
• Chu HD, Dobson JE. SITE: A Statistics-based Integrated Test Environment. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 584.
• Randell B, Xu J, Zorzo AF. Software Fault Tolerance in Object-Oriented Systems: Approaches, Implementation and Evaluation. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 597.
• Xu J, Randell B. Software Fault Tolerance: R/(n-l)-Variant Programming. IEEE Transactions on Reliability 1997, 46(1), 60-68.
• Ingham DB, Caughey SJ, Little MC. Supporting Highly Manageable Web Services. In: 6th International World Wide Web Conference. 1997, Santa Clara, California, USA: Elsevier Science Publishers.
• Ingham DB, Caughey SJ, Little MC. Supporting Highly Manageable Web Services. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 592.
• Semenov A, Yakovlev A, Pastor E, Pena MA, Cortadella J. Synthesis of Speed Independent Circuits from STG-unfolding Segment. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 565.
• Semenov A, Yakovlev A, Pastor E. Synthesis of Speed-Independent Circuits from STG-Unfolding Segment. In: 34th Annual ACM/IEEE Conference on Design Automation. 1997, Anaheim, California, USA: ACM Press, New York.
• Andras P. Systematic Development of WWW Pages. In: 1997 Romanian Internet Learning Workshop (RILW '97). 1997, Ilieni, Romania.
• Lee PA, Phillips C. The Apprentice C++ Programmer: A Touch of Class. London: International Thompson Computer Press, 1997.
• Wheater SM, Little MC. The Design and Implementation of a Framework for Configurable Software. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 578.
• Martin MJ, Dobson JE. The Ontology of Enterprises and Information Systems. In: Americas Conference in Information Systems. 1997, Indianapolis, USA: Indianapolis, Association for Information Systems.
• Xu J, Randell B. The t/(n-1)-VP Approach to Fault-Tolerant Software. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 594.
• Kinniment DJ, Gao B, Yakovlev A, Xia F. Towards Asynchronous A-D Conversion. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 615.
• van Moorsel A, Sanders WH. Transient Solution of Markov Models by Combining Adaptive and Standard Uniformization. IEEE Transactions on Reliability 1997, 46(3), 430-440.
• Pietkiewicz-Koutny M. Transition Systems of Elementary Net Systems with Inhibitor Arcs. In: 18th International Conference on Application and Theory of Petri Nets (ICATPN '97). 1997, Toulouse, France: Springer-Verlag.
• Mitrani I, Yakovlev A. Tree Arbiter With Nearest-Neighbour Scheduling. In: 13th UK Workshop on Performance Engineering of Computer and Telecommunication Systems (UKPEW). 1997, Ilkley, West Yorkshire, UK: UK Performance Engineering Workshop/Edinburgh University Press.
• Mitrani I, Yakovlev A. Tree Arbiter With Nearest-Neighbour Scheduling. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 563.
• Koutny M, Mancini LV, Pappalardo G. Two Implementation Relations and the Correctness of Communicating Replicated Processes. Formal Aspects of Computing 1997, 9(2), 119-148.
• Little MC, Shrivastava SK. Using Application Specific Knowledge for Configuring Object Replicas. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 579.
• Zorzo AF, Romanovsky A, Xu J, Randell B, Stroud R, Welch I. Using Coordinated Atomic Actions to Design Dependable Distributed Object Systems. In: OOPSLA '97 Workshop on Dependable Distributed Object Systems, Atlanta, Georgia, USA, 5 October 1997. Part of the 1997 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA). 1997, Atlanta, Georgia, USA: ACM.
• Dearden AM, Harrison MD. Using executable interactor specifications to explore the impact of operator interaction errors. In: 16th International Conference on Computer Safety, Reliability and Security (SAFECOMP). 1997, York, UK: Springer.
• Ingham DB, Little MC, Caughey SJ, Shrivastava SK. W3Objects: Bringing Object-Oriented Technology to the Web. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997. Department of Computing Science Technical Report Series 590.
• Ingham DB, Little MC, Caughey SJ, Shrivastava SK. W3Objects: Distributed Objects and the Web. Dr. Dobb's Sourcebook: Distributed Objects 1997, 22(13), 19-25.
• Jones CB. Whither formal methods? A plea to investigate new applications. In: 1st IEEE International Conference on Formal Engineering Methods (ICFEM '97). 1997, Hiroshima, Japan: IEEE Computer Society Press.
• Thomas NA. [PhD Thesis] Performance and Reliability in Distributed Systems. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 1997.