School of Computing Science : Publications

Books and Chapters

[2010] [2009] [2008] [2007] [2006] [2005] [2004] [2003] [2002] [2001] [2000] [1999] [1998] [1997] [1996] [1995] [1994] [1992] [1991] [1990] [1989] [1988] [1987] [1986] [1985] [1982] [1980] [1979] [1978] [1976] [1974] [1972] [1971] [1969] [1964]

2010

Managing Experimental Data Using FuGE
Jones, A.R. and Lister, A.L.
In Proteome Bioinformatics,
Hubbard, S.J. and Jones, A.R. (eds.), pp 333-343
Methods in Molecular Biology, 604
Humana Press, 2010, ISBN 978-1-60761-444-9
Notes : Chapter 23.

Building interactive multi-touch surfaces
Schöning, J., Hook, J., Bartindale, T. et al.
In Tabletops - Horizontal Interactive Displays,
Müller-Tomfelde, C. (ed.), pp 27-49
Human-Computer Interaction Series,
Springer-Verlag, 2010, ISBN 978-1-84996-112-7
Notes : Chapter 2. DOI 10.1007/978-1-84996-113-4_2

Security of Service Networks
Dimitrakos, T., Brossard, D., de Leusse, P. and Nair, S. K.
In Handbook of Information and Communication Security,
Stavroulakis, P. and Stamp, M. (eds.), pp 351-382
Springer-Verlag, 2010, ISBN 978-3-642-04116-7
Notes : Chapter 19. DOI: 10.1007/978-3-642-04117-4_19

Mitigating Provider Uncertainty In Service Provision Contracts
Smith, C. and van Moorsel, A.
In Economic Models and Algorithms for Distributed Systems,
Neumann, D., Baker, M., Altmann, J. and Rana, O.F. (eds.), pp 143-159
Autonomic Systems, Brazier, F.M.T., Rana, O.F and Strassner, J.C. (eds)
Birkhäuser , 2010, ISBN 978-3-7643-8896-6

Petri Nets and Membrane Computing
Kleijn, J. and Koutny, M.
In The Oxford Handbook of Membrane Computing,
Paun, G., Rozenberg, G. and Salomaa, A. (eds.), pp 389-412
Oxford Handbooks in Mathematics,
Oxford University Press, 2010, ISBN 978-0-19-955667-0
Notes : Chapter 15

2009

An Architecture for Cross-Cloud System Management
Dodda, R.T., Smith, C. and van Moorsel, A.
In Contemporary Computing. Second International Conference, IC3 2009, Noida, India, August 17-19, 2009. Proceedings,
Ranka, S., Aluru, S., Buyya, R. et al. (eds.), pp 556-567
Communications in Computer and Information Science, 40
Springer-Verlag, 2009, ISBN 978-3-642-03546-3

Preface by Guest Editors
Billington, J. and Koutny, M. (eds.)
In Transactions on Petri Nets and Other Models of Concurrency III,
Jensen, K., Billington, J. and Koutny., M. (eds.), Lecture Notes in Computer Science, 5800
Springer-Verlag, 2009, ISBN 978-3-642-04854-8
Notes : DOI 10.1007/978-3-642-04856-2

Steps and Coverability in Inhibitor Nets
Kleijn, J. and Koutny, M.
In Perspectives in Concurrency Theory ,
Lodaya, K., Mukund, M. and Ramanujam, R. (eds.), pp 264-295
IARCS-Universities,
Universities Press (India) Pvt. Ltd., 2009, ISBN 978-81-7371-652-2
Notes : Festschrift for P.S. Thiagarajan

2008

Formal Languages and Concurrent Behaviours
Kleijn, J. and Koutny, M.
In New Developments in Formal Languages and Applications,
Bel-Enguix, G., Jiménez-López, M.D. and Martín-Vide, C. (eds) , pp 125-182
Studies in Computational Intelligence, 113 Kacprzyk, J. (ed)
Springer-Verlag, 2008, ISBN 978-3-540-78290-2

Connecting Rigorous System Analysis to Experience-Centered Design
Harrison, M., Campos, J.C., Doherty, G. and Loer, K.
In Maturing Usability: Quality in Software, Interaction and Value ,
Law, E.L-C., Hvannberg, E.T. and Cockton, G. (eds.), pp 56-74
Human-Computer Interaction,
Springer, 2008, ISBN 978-1-84628-940-8

Multiple-scale hierarchical connectivity of cortical networks limits the spread of activity
Kaiser, M.
In Computational Neuroscience in Epilepsy,
Soltesz, I. and Staley, K. (eds.), pp 132-140
Academic Press, 2008, ISBN 978-0-12-373649-9

Formal analysis of interactive systems: opportunities and weaknesses
Harrison, M., Campos, J. C. and Loer, K.
In Research Methods for Human-Computer Interaction,
Cairns, P.and Cox, A.L. (eds.), pp 88-111
Cambridge University Press, 2008, ISBN 978-0-521-87012-2

Organization and Function of Complex Cortical Networks
Hilgetag, C.C. and Kaiser, M.
In Lectures in Supercomputational Neuroscience: Dynamics in Complex Brain Networks,
Graben, P.b. , Zhou, C., Thiel, M. and Kurths, J. (eds.), pp 107-133
Understanding Complex Systems,
Springer, 2008, ISBN 978-3-540-73158-0

High-value B2B interactions, nonrepudiation and Web services
Cook, N., Robinson, P. and Shrivastava, S.K.
In Securing Web Services: practical usage of standards and specifications,
Periorellis, P. (ed.), pp 71-110
IGI Global, 2008, ISBN 1-599046-39-3
Notes : Chapter IV.

2007

Protocol-Based Integration Using SSDL and pi-Calculus
Woodman, S., Parastatidis, S. and Webber, J.
In Workflows for E-science: Scientific Workflows for Grids ,
Taylor, I. .J., Deelman, E., Gannon, D.B. and Shields, M. (eds.), pp 227-243
Springer-Verlag, 2007, ISBN 978-1-84628-519-6

Evaluation of P2P Search Algorithms for Discovering Trust Paths
Ribeiro de Mello, E., van Moorsel, A. and da Silva Fraga, J.
In Formal Methods and Stochastic Models for Performance Evaluation. Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 2007,
Wolter, K. (ed.), pp 112-124
Lecture Notes in Computer Science, 4748
Springer-Verlag, 2007, ISBN 3-540-75210-2

Complex biological memory conceptualized as an abstract communication system – human long term memories grow in complexity during sleep and undergo selection while awake
Charlton, B.G. and Andras, P.
In Neurodynamics of Cognition and Consciousness,
Perlovsky, L. and Kozma, R. (eds.), pp 325-340
Understanding Complex Systems,
Springer, 2007, ISBN 978-3-540-73266-2

Basic Concepts and Taxonomy of Dependable and Secure Computing
Avizienis, A., Laprie, J.-C., Randell, B. et al.
In A Process for Developing a Common Vocabulary in the Information Security Area,
von Knop, J., Salnikov, A.A., and Yaschenko. V.V. (eds.), pp 10-51
NATO Science for Peace and Security Series E, 23
IOS Press, 2007, ISBN 978-1-58603-756-7
Notes : Originally published in IEEE Transactions on Dependable and Secure Computing Vol. 1, No. 1, IEEE, 2004, pp. 11-33.

The Typed Logic of Partial Functions and the Vienna Development Method
Fitzgerald, J. S.
In Logics of Specification Languages,
Bjørner, D. and Henson, M. C. (eds.), pp 453-487
Monographs in Theoretical Computer Science. An EATCS Series,
Springer, 2007, ISBN 978-3-540-74106-0

Knowledge discovery for biology with Taverna: Producing and consuming semantics in the Web of Science
Goble, C., Wolstencroft, K., Goderis, A., Hull, D., Zhao, J., Alper, P., Lord, P., Wroe, C., Belhajjame, K., Turi, D., Stevens, R., Oinn, T. and De Roure, D.
In Semantic Web: Revolutionizing Knowledge Discovery in the Life Sciences,
Baker, C.J.O. and Cheung, K.-H. (eds.), pp 355-395
Springer, 2007, ISBN 978-0-387-48436-5
Notes : Part 5.

Using distributed data and tools in bioinformatics applications
Stevens, R., Lord, P. and Hull, D.
In Bioinformatics From Genomes to Therapies,
Lengauer, T. (ed.), pp 1627-1650
Wiley, VCH, 2007, ISBN 978-3-527-31278-8
Notes : Vol. 3: The Holy Grail: Molecular Function. Ch. 44.

2006

GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems
Cao, J., Chan, A. and Sun, Y.
In New Horizons of Parallel and Distributed Computing,
Guo, M. and Yang, L. T. (eds), pp 21-36
Springer, 2006, ISBN 0-387-24434-4
Notes : The advances of distributed computing demand novel programming model to support efficient software development and execution. Graphs can effectively represent the logical structures of distributed systems and applications so as to facilitate the programming of distributed applications and support the efficient mapping of programs to hardware architecture. This chapter presents a Graph-Oriented Programming (GOP) model that provides flexible graph constructs and graph-oriented programming primitives to build a programming paradigm based on graph topology and provide a formal specification of software architecture for distributed programs. The GOP model creates an abstract programming framework and supports dynamic reconfiguration of a distributed computing system to implement adaptive computation and fault-tolerance. Various computing environments have been developed based on GOP such as cluster computing, web service, and component-based computation.

Architectural description of dependable software systems
Gacek, C. and de Lemos, R.
In Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective,
Besnard, D., Gacek, C. and Jones, C.B. (eds), pp 127-142
Springer, 2006, ISBN 1-84628-110-5

Foreword
Randell, B.
In Advanced Topics in Exception Handling Techniques,
Dony, C., Knudsen, J.L., Romanovsky, A., and Tripathi, A. (eds), Lecture Notes in Computer Science, 4119
Springer, 2006, ISBN 3-540-37443-4

On Specification and Verification of Location-Based Fault Tolerant Mobile Systems
Iliasov, A., Khomenko, V., Koutny, M. and Romanovsky, A.
In Rigorous Development of Complex Fault-Tolerant Systems,
Butler, M., Jones, C., Romanovsky, A. and Troubitsyna, E. (eds.), pp 168-188
Lecture Notes in Computer Science, 4157
Springer, 2006, ISBN 978-3-540-48265-9

Rigorous Development of Fault-Tolerant Agent Systems
Laibinis, L., Troubitsyna, E., Iliasov, A. and Romanovsky, A.
In Rigorous Development of Complex Fault-Tolerant Systems,
Butler, M., Jones, C., Romanovsky, A. and Troubitsyna, E. (eds.), pp 241-260
Lecture Notes in Computer Science, 4157
Springer, 2006, ISBN 978-3-540-48265-9

The language of cortical dynamics
Andras, P.
In Computational Life Sciences II. Second International Symposium, CompLife 2006, Cambridge, UK, September 27-29, 2006. Proceedings,
Berthold, M.R., Glen, R. and Fischer, I. (eds.), pp 247-256
Lecture Notes in Bioinformatics, 4216
Springer, 2006, ISBN 3-540-45767-4

Faults, errors and failures in communications: a systems theory perspective on organisational structure
Andras, P. and Charlton, B.
In Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective,
Besnard, D., Gacek, C. and Jones, C.B. (eds.), pp 189-213
Springer, 2006, ISBN 1-84628-110-5
Notes : Chapter 10

Prêt à Voter with Re-encryption Mixes
Ryan, P. Y. A. and Schneider, S. A.
In Computer Security - ESORICS 2006. 11th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006. Proceedings,
Gollmann, D., Meier, J. and Sabelfeld, A. (eds.), pp 313-326
Lecture Notes in Computer Science, 4189
Springer-Verlag, 2006, ISBN 978-3-540-44601-9

The DIRC Project as the context of this book
Jones, C.B.
In Trust in Technology: a Socio-Technical Perspective,
Clarke, K., Hardstone, G., Rouncefield, M. and Sommerville, I. (eds), pp 217-221
Computer Supported Cooperative Work, 36
Springer, 2006, ISBN 1-4020-4257-4

Structured Coordination Spaces for Fault Tolerant Mobile Agents
Iliasov, A. and Romanovsky, A.
In Advanced Topics in Exception Handling Techniques,
Dony, C., Knudsen, J.L., Romanovsky, A. and Tripathi, A. (eds.), pp 181-199
Lecture Notes in Computer Science, 4119
Springer, 2006, ISBN 978-3-540-37443-5

The role of structure: a dependability perspective
Jones, C.B. and Randell, B.
In Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective,
Besnard, D., Gacek , C. and Jones, C.B.(eds), pp 3-15
Springer, 2006, ISBN 1-84628-110-5

Qualitative analysis of dependability argument structure.
Sujan, M.A. , Smith, S.P. and Harrison, M.D.
In Structure for Dependability: Computer Based Systems from an Interdisciplinary Perspective,
Besnard, D., Gacek, C. and Jones, C.B. (eds), pp 269-287
Springer, 2006, ISBN 1-84628-110-5

Towards an Engineering Approach to Component Adaptation
Becker, S., Brogi, A., Gorton, I., Overhage, S., Romanovsky, A. and Tivoli, M.
In Architecting Systems with Trustworthy Components. International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers,
Reussner, R.H., Judith J.A. and Szyperski, C.A. (eds), pp 193-215
Lecture Notes in Computer Science, 3938
Springer Verlag, 2006, ISBN 3-540-35800-5

Measuring the Dependability of Web Services for Use in e-Science Experiments
Li, P., Chen, Y. and Romanovsky, A.
In Service Availability. Third International Service Availability Symposium, ISAS 2006, Helsinki, Finland, May 15-16, 2006. Revised Selected Papers,
Penkler, D., Reitenspiess, M. and Tam, F. (eds.), pp 193 - 205
Lecture Notes in Computer Science, 4328
Springer, 2006, ISBN 3-540-68724-6

2005

Game of Life
Hallinan, J.
In Encyclopedia of Nonlinear Science,
Scott, A. (ed.), pp 352 - 354
Routledge, 2005, ISBN 1-57958-385-7

Description Logics: OWL and DAML+OIL
Lord, P., Stevens, R.D., Goble, C. A. and Horrocks, I.
In Encyclopedia of Genetics, Genomics, Proteomics, and Bioinformatics,
Dunn, M.J. et al. (eds.), Wiley, 2005, ISBN 978-0-470-84974-3
Notes : Invited Article. In Pt.4: Bioinformatics; Section 4.7: Structuring and Integrating Data. 6 pp.

A Survey of Map-based Mobile Guides
Baus, J., Cheverst, K. and Kray, C.
In Map-based Mobile Services: Theories, Methods and Implementations,
Meng, L., Zipf, A. and Reichenbacher, T. (eds.), pp 197-216
Springer, 2005, ISBN 978-3-540-23055-7
Notes : Ch. 13.

The Role of Agreements in IT Management Software
Molina-Jimenez, C., Pruyne, J. and van Moorsel, A.
In Architecting Dependable Systems III,
de Lemos, R., Gacek, C. and Romanovsky, A. (eds.), pp 36-58
Lecture Notes in Computer Science, 3549
Springer, 2005, ISBN 3-540-28968-2

Dependability, Structure and Infrastructure
Randell, B.
In Cyberspace Security and Defense: Research Issues,
Kowalik, J.S., Gorski, J. and Sachenko, A. (eds), pp 143-160
NATO Science Series II, 196
Springer, 2005, ISBN 1-4020-3380-X

Biological Databases: Infrastructure, Content, and Integration
Williams A. L., Kersey P. J., Pruess M. and Apweiler R.
In Data Analysis and Visualization in Genomics and Proteomics,
Azuaje, F. and Dopazo, J. (eds.), pp 11-28
John Wiley & Sons, 2005, ISBN 0-470-09439-7
Notes : Chapter 2. For later publications by Allyson Williams, see Allyson Lister

Self-aware software. Will it become a reality ?
Andras, P. and Charlton, B.G.
In Self-star Properties in Complex Information Systems: Conceptual and Practical Foundations,
Babaoglu, O., Jelasty, M., Montresor, A. et al. (eds.), pp 229-259
Lecture Notes in Computer Science, 3460
Springer, 2005, ISBN 3-540-26009-9

Game Theory
Hallinan, J.
In Encyclopedia of Nonlinear Science,
Scott, A. (ed.), pp 355 - 356
Routledge, 2005, ISBN 1-57958-385-7

The Memorability and Security of Passwords
Yan, J., Blackwell, A., Anderson, R. and Grant, A.
In Security and Usability: Designing Secure Systems that People Can Use,
Cranor, L.F. and Garfinkel, S. (eds.), pp 129-142
O'Reilly, 2005, ISBN 0-596-00827-9
Notes : Refereed.

Dependable Composite Web Services with Components Upgraded Online
Gorbenko, A., Kharchenko, V., Popov, P. and Romanovsky, A.
In Architecting Dependable Systems III,
de Lemos, R., Gacek, C. and Romanovsky, A. (eds.), pp 92-121
Lecture Notes in Computer Science, 3549
Springer, 2005, ISBN 3-540-28968-2

Dependable Pervasive Systems
Jones, C.B. and Randell, B.
In Trust and Crime in Information Societies,
Mansell. R. and Collins, B.S. (eds), pp 59-91
Edward Elgar Publishing, 2005, ISBN 1-84542-177-9
Notes : Commissioned contribution to the Foresight Project on Cyber Trust and Crime Prevention of the UK Government's Office of Science and Technology

2004

A Dependable Architecture for COTS-Based Software Systems using Protective Wrappers
Asterio de C. Guerra, P., Rubira, C.M.F., Romanovsky, A. and de Lemos, R.
In Architecting Dependable Systems II,
de Lemos, R., Gacek, C. and Romanovsky, A. (eds.), pp 144 -166
Lecture Notes in Computer Science, 3069
Springer-Verlag, 2004, ISBN 3-540-23168-4
Notes : State-of-the-Art Survey.

Cooperation, Risk and the Evolution of Teamwork
Andras, P. and Lazarus, J.
In Teamwork: Multi-Disciplinary Perspectives,
Gold, N. (ed.), pp 56-77
Palgrave Macmillan, 2004, ISBN 1-4039-3390-1

Composing Systems of Systems: Requirements for the Integration of Autonomous Computer Systems
Periorellis, P.
In Requirements Engineering for Sociotechnical Systems,
Mate, J. L. and Silva, A. (eds), pp 139-152
Idea Group, 2004,

Analysing dynamic function scheduling decisions
Loer, K., Hildebrandt, M. and Harrison, M.
In Human Error, Safety and Systems Development,
Johnson, C.W. and Palanque, P. (eds), pp 45-60
IFIP, 152
Kluwer Academic, 2004, ISBN 1-4020-8152-9

Exception Handling in Object Oriented Systems: Towards Emerging Application Areas and New Programming Paradigms
Romanovsky, A., Dony, C., Tripathi, A. and Lindskov Knudsen, J.
In Object-Oriented Technology: ECOOP 2003 Workshop Reader, ECOOP 2003 Workshops, Darmstadt, Germany, July 21-25, 2003.,
Buschmann, F., Buchmann, A. P. and Cilia, M. (eds), pp 1-10
Lecture Notes in Computer Science, 3013
Springer, 2004, ISBN 3-540-22405-X

Process Algebra: A Petri-Net-Oriented Tutorial
Best, E., and Koutny, M.
In Lectures on Concurrency and Petri Nets: Advances in Petri Nets,
Desel, J., Reisig, W., and Rozenberg, G. (ed), pp 180-209
Lecture Notes in Computer Science, 3098
Springer-Verlag, 2004, ISBN 3-540-22261-8

Synthesis of Asynchronous Hardware from Petri Nets
Carmona, J., Cortadella, J., Khomenko, V. and Yakovlev, A.
In Lectures on Concurrency and Petri Nets: Advances in Petri Nets,
Desel, J., Reisig, W. and Rozenberg, G. (Eds.), pp 345-401
Lecture Notes in Computer Science, 3098
Springer-Verlag, 2004, ISBN 3-540-22261-8

Brief encounters
Randell, B.
In Computer Systems: Theory, Technology and Applications,
Herbert, A. and Sparck Jones, K. (eds.), pp 229-235
Monographs in Computer Science, Gries, D. and Schneider, F.B. (eds.)
Springer, 2004, ISBN 0-387-20170-X

Ontologies in Bioinformatics
Stevens, R., Wroe, C., Lord, P. and Goble, C.
In Handbook on Ontologies,
Staab, S. and Studer, R. (eds.), pp 635-657
International Handbooks on Information Systems,
Springer, 2004, ISBN 978-3-540-40834-5

A Model and a Design Approach to Building QoS Adaptive Systems
Ezhilchelvan, P.D. and Shrivastava, S.K.
In Architecting Dependable Systems II,
de Lemos, R., Gacek, C. and Romanovsky, A. (eds.), pp 215-238
Lecture Notes in Computer Science, 3069
Springer, 2004, ISBN 3-540-23168-4
Notes : The chapter addresses the task of building Internet-based service provisioning systems where the quality of services (QoS) provided should not be perturbed due to changes in execution environments and user requirements. Specifically, it presents system architecture and identifies a model appropriate for developing distributed programs that would implement the system. The model abstracts the network performance and dependability guarantees typically offered by the Internet service providers and is termed the probabilistic asynchronous model. The protocols for this model are shown to be derivable from those developed for the well-known classical models, namely: the synchronous and the asynchronous models. A protocol for reliable broadcast is derived from a synchronous protocol, together with QoS management algorithms. The system architecture prescribes the role of QoS management algorithms to be: feasibility evaluation on QoS requests from the end users, and adapting system protocols in response to changes in the environments.

2003

Databases and the Grid
Watson, P.
In Grid Computing: Making The Global Infrastructure a Reality,
Berman, F., Fox, G. and Hey, A.J.G. (eds.), pp 363-384
Wiley, 2003, ISBN 0-470-85319-0

Evolutionary computation and cognitive science
Wiles, J. and Hallinan, J.
In Computational Intelligence: The Experts Speak,
Fogel, D. B. and Robinson, C. J. (eds.), pp 179 - 189
Wiley - IEEE Press, 2003, ISBN 0-471-27454-2
Notes : Chapter 13

Functional analysis of the Bacillus subtilis genome
Harwood, C.R., Wipat, A. and Prágai, Z.
In Functional Microbial Genomics,
Wren, B. and Dorrell, N. (eds.), pp 337-367
Methods in Microbiology, 33
Academic Press, 2003, ISBN 0-12-521533-9

Relating the automation of functions in multiagent control systems to a system engineering representation
Harrison, M.D., Johnson, P.D. and Wright, P.C.
In Handbook of Cognitive Task Design,
Hollnagel, E.(ed), pp 503-524
Lawrence Erlbaum Associates, 2003, ISBN 0-8058-4003-6

Experimental Risk, Cooperation, and Communication Complexity
Andras, P., Roberts, G. and Lazarus, J.
In Adaptive Agents and Multi-Agent Systems: Adaptation and Multi-Agent Learning,
Alonso, E., Kudenko, D. and Kazakov, D. (eds.), pp 49-65
Lecture Notes in Artificial Intelligence, 2636
Springer, 2003, ISBN 3-540-40068-0

Architectural Mismatch Tolerance
de Lemos, R., Gacek, C., and Romanovsky, A.
In Architecting Dependable Systems,
de Lemos, R., Gacek, C., and Romanovsky, A., (eds.), pp 175-194
State of the Art - Lecture Notes in Computer Science, 2677 Goos, G. Hartmanis, J. and van Leeuwen, J.(eds)
Springer-Verlag, 2003, ISBN 3-540-40727-8

Dependability in the Web Services Architecture
Tartanoglu, F., Issarny, V., Romanovsky, A. and Levy, N.
In Architecting Dependable Systems,
de Lemos, R., Gacek, C., and Romanovsky, A., (eds.), pp 90-109
Lecture Notes in Computer Science, 2677 Goos, G. Hartmanis, J. and van Leeuwen, J.(eds)
Springer-Verlag, 2003, ISBN 3-540-40727-8

Managed Utility Computing: The Grid as Management Backplane
Machiraju, V., Sahai, A. and van Moorsel, A.
In Dependable Computing. First Latin American Symposium , LADC 2003, Sao Paulo, Brazil, October 21-24,2003,
de Lemos, R., Silva Weber, T. and Camargo, J. B.(Eds.), pp 4-7
Lecture Notes in Computer Science, 2847
Springer-Verlag, 2003, ISBN 3-540-20224-2
Notes : Invited paper accompanying conference keynote.

Wanted: a Compositional Approach to Concurrency
Jones, C.B.
In Programming Methodology,
McIver, A. and Morgan, C. (eds.), pp 1-15
Monographs in Computer Science, Gries, D. and Schneider, F.B. (eds.)
Springer-Verlag, 2003, ISBN 0-387-95349-3

2002

Safe Systems: Construction, Destruction & Deconstruction
Armstrong, J.M. and Paynter, S.P.
In Current Issues In Safety Critical Systems,
Redmill, F. and Anderson, T. (eds.), pp 63-76
Springer-Verlag, 2002, ISBN 1-85233-696-X

Evolutionary Algorithms
Hallinan, J.S. and Wiles, J.
In Encyclopedia of Cognitive Science,
Nadel, L. (ed.), pp 40 - 47
Palgrave Macmillan, 2002, ISBN 0-333-79261-0

Patient Information and Consumer Health Informatics
Wilson, R.
In e-Clinical Governance: a guide for Primary Care,
Simpson, L. and Robinson, R. (eds), Radcliffe Medical Press, Oxford, 2002, ISBN 1-85775-595-2

ErbB2 and Its Ligand Muc4 (Sialomucin Complex) in Rat Lacrimal Gland
Carraway, K.L., Carvajal, M.E., Li, P. and Carraway, C.A.C.
In Lacrimal Gland, Tear Film, and Dry Eye Syndromes 3: Basic Science and Clinical Relevance, Part A,
Sullivan, D.A., Stern, M.E. and Tsubota, K. et. al. (eds.), pp 289-295
Advances in Experimental Medicine and Biology, 506 Back, N. et. al. (eds.)
Kluwer Academic Publishers/Plenum Publishers, 2002, ISBN 0-306-47282-1

Compositional Development In the Event of Interface Difference
Burton, J., Koutny, M., Pappalardo, G. and Pietkiewicz-Koutny, M.
In Concurrency in Dependable Computing,
Ezhilchelvan, P.and Romanovsky, A. (eds.), pp 3-22
Kluwer Academic Publishers, Boston, 2002, ISBN 1-4020-7043-8

Ten-Step Survival Guide for the Emerging Business Web
van Moorsel, A.
In Web Services, E-Business, and the Semantic Web, CAiSE 2002 International Workshop, WES 2002, Toronto, Canada, May 27-28, 2002. Revised papers,
Bussler, C., Hull, R., McIlraith, S., Orlowska, M.E., Pernici, B. and. Yang, J. (Eds.), pp 1-11
Lecture Notes in Computer Science, 2512
Springer-Verlag, 2002, ISBN 3-540-00198-0
Notes : Invited paper accompanying conference key note. Also Hewlett Packard Laboratories Technical Report HPL-2002-203, July 2002.

The New Electronic Technology
Randell, B.
In From 0 to 1: An Authoritative History of Modern Computing,
Akera, A., Nebeker, F. (ed.), pp 41-50
Oxford University Press, 2002, ISBN 0-19-514025-7

Positionsinformation und Navigationsaufgaben
Kray, C., Baus, J. and Krüger, A.
In Geoinformation mobil ,
Zipf, A. and Strobl, J. (eds.), pp 98-108
Wichmann Verlag, 2002, ISBN 387-907373-2

TLA Specification of a Mechanism for Concurrent Exception Handling
Zorzo, A.F., Randell, B. and Romanovsky, A.
In Concurrency in Dependable Computing,
Ezhilchelvan, P. and Romanovsky, A. (eds.), pp 41-59
Kluwer Academic Publishers, Boston, 2002, ISBN 1-4020-7043-8

Bacterial protein synthesis
Harwood, C.R. and Wipat, A.
In Molecular Medical Microbiology,
Sussman, M. (ed), pp 321-388
Academic Press, 2002, ISBN 0-12-677530-3

2001

Successful Software Product Line Development in a Small Organization
Gacek, C., Knauber, P. and Schmid, K.
In Software Product Lines: Practices and Patterns,
Clements, P. and Northrop, L. , pp 485-512
The SEI Series in Software Engineering,
Addison-Wesley, 2001, ISBN 0-201-70332-7

The Role of Brain Chaos
Andras, P.
In Emerging Neural Architectures Based on Neuroscience,
Wermter, S., Austin, J. and Willshaw, D. (eds.), pp 296-310
Springer-Verlag, 2001,

Genome management and analysis: prokaryotes
Harwood, C.R. and Wipat, A.
In Basic Biotechnology (2nd edition),
Ratledge, C. and Kristiansen, B. (eds.), Cambridge University Press, 2001, ISBN 0-521-77917-0

RBF Neural Networks with Orthogonal Basis Functions
Andras, P.
In Radial Basis Function Networks 1: Recent Developments in Theory and Algorithms,
Howlett, R.J. and Jain, L.C. (eds.), pp 67-94
Studies in Fuzziness and Soft Computing, 66
Physica-Verlag, 2001, ISBN 3-790-81367-2

Mathematical Models of Computer Security
Ryan, P.Y.A.
In Foundations of Security Analysis and Design: Tutorial Lectures,
Focardi, R. and Gorrieri, R. (eds.), pp 1-62
Lecture Notes in Computer Science, 2171
Springer-Verlag, 2001, ISBN 3-540-42896-8

Using a Speech Technology Agent as an Interface for E-Commerce
Devlin, M. and Scott, T.
In E-Commerce Agents: Marketplace Solutions, Security Issues, and Supply and Demand,
Liu, J. and Ye, Y. (eds.) , pp 332-346
Lecture Notes in Computer Science, 2033
Springer-Verlag, 2001, ISBN 3-540-41934-9

Queues with Breakdowns
Mitrani, I.
In Performability Modelling: Techniques and Tools,
Haverkort, B.R., Marie, R., Rubino, G. and Trivedi, K. (eds.), Wiley, 2001, ISBN 0-471-49195-0

A Unified Model for Nets and Process Algebras
Best, E., Devillers, R. and Koutny, M.
In Handbook of Process Algebra,
Bergstra, J., Ponse, A. and Smolka, S. (eds.), pp 873-944
Elsevier Science Publishers BV, Netherlands, 2001, ISBN 0-444-82830-3

2000

Enhancing the Tractability of Rely/Guarantee Specifications in the Development of Interfering Operations
Collette, P. and Jones, C.B.
In Proof, Language and Interaction: Essays in Honour of Robin Milner,
Plotkin, G.D., Stirling, C.P. and Tofte, M. (eds.), pp 277-307
Foundations of Computing,
MIT Press, 2000, ISBN 0-262-16188-5

Complementing Role Models with Petri Nets in Studying Asynchronous Data Communications
Xia, F. and Clark, I.G.
In Hardware Design and Petri Nets,
Yakovlev, A., Gomes, L. and Lavagno, L.(eds.), pp 33-50
Kluwer Academic, 2000, ISBN 0-7923-7791-5

Feature selection and classification in the diagnosis of cervical cancer
Hallinan, J.
In The Practical Handbook of Genetic Algorithms. 2nd Edition,
Chambers, L. (ed.), pp 167-202
CRC Press, 2000, ISBN 1-58488-240-9
Notes : Chapter 5.

1999

Specifications are not (necessarily) executable
Hayes, I.J. and Jones, C.B.
In High-Integrity System Specification and Design,
Bowen, J.P. and Hinchey, M.G. (eds.), pp 563-581
Formal Approaches to Computing and Information Technology (FACIT),
Springer-Verlag, London, 1999, ISBN 3-540-76226-4

Comment to the discussion by Gusztav Molnar
Andras, P.
In On Midway. Stills of the Reform of the Transylvanian Hungarian Politics,
Bakk, M., Szekely, I., and Toro, T.T. (eds.), pp 370-375
Pro-Print, Csikszereda, Romania, 1999,

Molecular biology and genetics of Bacillus species
Bron, S., Meima, R., and van Dijl, J.-M. et. al.
In Manual of Industrial Microbiology and Biotechnology (2nd Edition),
Demain, A.L. and Davids, J.E. (eds.), pp 392-416
American Society for Microbiology (ASM) Press, 1999, ISBN 1-55581-128-0

The University Student Registration System: A Case Study in Building a High-Availability Distributed Application Using General Purpose Components
Little, M.C., Wheater, S.M., Ingham, D.B., Snow, C.R., Whitfield, H. and Shrivastava, S.K.
In Advances in Distributed Systems,
Krakowiak, S. and Shrivastava, S.K. (eds.), pp 453-471
Lecture Notes in Computer Science, 1752
Springer-Verlag, 1999, ISBN 3-540-67196-X

[Abstract]

Integrating Group Communication with Transactions for Implementing Persistent Replicated Objects
Little, M.C. and Shrivastava, S.K.
In Advances in Distributed Systems,
Krakowiak, S. and Shrivastava, S.K. (eds.), pp 238-253
Lecture Notes in Computer Science, 1752
Springer-Verlag, 1999, ISBN 3-540-67196-X

[Abstract]

Software Safety - An Insider's View of the Safety-Critical Systems Club
Anderson, T. and Redmill, F.
In BCS Review 1999 - Looking Towards the Millennium,
pp 192-193
British Computer Society, 1999, ISBN 1-901640-02-7

1998

Petri Nets and Digital Hardware Design
Yakovlev, A.V. and Koelmans, A.M.
In Lectures on Petri Nets II: Applications, Advances in Petri Nets,
Reisig, W. and Rozenberg, G. (eds.), pp 154-236
Lecture Notes in Computer Science, 1492
Springer-Verlag, 1998, ISBN 3-540-65307-4

A tracking system
Fitzgerald, J.S. and Jones, C.B.
In Proof in VDM: Case Studies,
Bicarregui, J.C. (ed), pp 1-30
Formal Approaches to Computing and Information Technology (FACIT),
Springer-Verlag, London, 1998, ISBN 3-540-76186-1

Foreword
Jones, C.B. and Bjorner, D.
In Modelling Systems: Practical Tools and Techniques in Software Development,
Fitzgerald, J.S. and Larsen, P.G, Cambridge University Press, 1998, ISBN 0-521-62348-0

Petri Nets, Process Algebras and Concurrent Programming Languages
Best, E., Devillers, R., and Koutny, M.
In Lectures on Petri Nets II: Applications, Advances in Petri Nets,
Reisig, W. and Rozenberg, G. (eds.), pp 1-84
Lecture Notes in Computer Science, 1492
Springer-Verlag, 1998, ISBN 3-540-65307-4

1997

An Architectural Approach to Brokerage in Network-Based Commerce
Martin, M.J., Dobson, J.E. and Strens, M.R.
In Advances in Information Technologies, The Business Challenge,
Roger, J.-Y., Stanford-Smith, B. and Kidd, P.T. (eds.), pp 242-247
IOS Press, 1997, ISBN 9-051-99385-4

Foreword
Anderson, T.
In Life Cycle Management for Dependability,
Redmill, F. and Dale, C.J. (eds.), Springer-Verlag, 1997, ISBN 3-540-76073-3

1996

C++ as an Introductory Programming Language
Lee, P.A. and Stroud, R.J.
In Programming Language Choice: Practice and Experience,
Woodman, M. (ed), pp 63-82
International Thomson Computer Press, 1996, ISBN 1-85032-186-8

Kinematic Synthesis using Analogical Representations
Nakata, K., Olivier, P., McManus, A. et. al.
In Artificial Intelligence in Design Workshop on Visual Reasoning and Interaction in Design, Stanford, CA, June 1996,
Damski, J.C.B. & Narayanan, N.H. (eds), 1996,

Using Metaobject Protocols to Satisfy Non-Functional Requirements
Stroud, R.J. and Wu, Z.
In Advances in Object-Oriented Metalevel Architectures and Reflection,
Zimmerman, C. (ed), CRC Press, 1996, ISBN 0-8493-2663-X

Foreword
Jones, C.B.
In Using Z: Specification, Refinement, and Proof,
Woodcock, J.C.P. and Davies, J. (eds.), Prentice Hall International Series in Computer Science, Hoare, C.A.R. (ed)
Prentice Hall PTR, 1996, ISBN 0-13-948472-8

La Filiation des Machines a Calculer Contemporain
Randell, B.
In Histoire Generale des Techniques, V. Les Techniques de la Civilisation Industrielle: Transformation, Communication, Facteur Humain,
Dumas, M. (ed), Presses Universitaires de France, Paris, 1996,

Multi-level Molecular Representation
Olivier, P., Nakata, K. and Landon, M.
In Artificial Intelligence in Design. 4th International Conference, Stanford, CA, June 1996,
Sudweeks, F. and Gero, J.S. (eds), pp 3-20
Kluwer Academic Publishers, 1996, ISBN 0-7923-4080-9

The Impact of Inheritance on Software Structure
Armstrong, J.M., Maung, I., Howse, J.R. and Mitchell, R.J.
In Formal Methods and Object Technology,
Goldsack. S.J. and Kent, S.J.H. (eds.), pp 47-58
Formal Approaches to Computing and Information Technology (FACIT),
Springer-Verlag, 1996, ISBN 3-540-19977-2

The Global-yet-Personal Information System
Gurd, J.R. and Jones, C.B.
In Computing Tomorrow: Future research directions in computer science,
Wand, I. and Milner, R. (eds.), pp 127-157
Cambridge University Press, 1996, ISBN 0-521-46085-9

1995

Polling Models with Threshold Switching
Boxma, O.J., Koole, G.M. and Mitrani, I.
In Quantitative Methods in Parallel Systems,
Baccelli, F., Jean-Marie, A. and Mitrani, I. (eds.), pp 129-140
ESPRIT Basic Research Series, European Commission, Information Society DG (eds.)
Springer-Verlag, 1995, ISBN 3-540-60125-2

Developing a Security-critical System using Formal and Conventional Methods
Fitzgerald, J.S., Larsen, P.G., Brookes, T. and Green, M.
In Applications of Formal Methods,
Hinchey, M.G. and Bowen, J.P. (eds.), pp 333-356
Prentice Hall International Series in Computer Science, Hoare, C.A.R. (ed.)
Prentice Hall, 1995, ISBN 0-13-366949-1
Notes : Chapter 14.

Analysis of Safety Requirements for Process Control Systems
Anderson, T., de Lemos, R. and Saeed, A.
In Predictably Dependable Computing Systems,
Randell, B., Laprie, J-C., Kopetz, H. and Littlewood, B. (eds.), pp 27-40
ESPRIT Basic Research Series,
Springer-Verlag, Brussels, 1995, ISBN 3-540-59334-9

TIPP and the Spectral Expansion Method
Mitrani, I., Ost, A. and Rettelbach, M.
In Quantitative Methods in Parallel Systems,
Baccelli, F., Jean-Marie, A. and Mitrani, I. (eds.), ESPRIT Basic Research Series, European Commission, Information Society DG (eds.)
Springer-Verlag, 1995, ISBN 3-540-60125-2

The Spectral Expansion Solution Method for Markov Processes on Lattice Strips
Mitrani, I.
In Advances in Queueing Theory, Methods, and Open Problems,
Dshalalow, J.H. (ed), Probability and Stochastics Series, 4
CRC Press, 1995, ISBN 0-8493-8074-X

From Recovery Blocks to Concurrent Atomic Actions
Randell, B., Romanovsky, A., Rubira-Calsavara, C.M.F., Stroud, R.J., Wu, Z. and Xu, J.
In Predictably Dependable Computing Systems,
Randell, B., Laprie, J-C., Kopetz, H. and Littlewood, B. (eds.), pp 87-101
ESPRIT Basic Research Series,
Springer-Verlag, Brussels, 1995, ISBN 3-540-59334-9

[Abstract]

Formal Specification of an Aerospace System: the Attitude Monitor
Coombes, A., Barroca, L. , Fitzgerald, J.S., McDermid, J.A., Spencer, L. and Saeed, A.
In Applications of Formal Methods,
Hinchey M.G. and Bowen, J.P. (eds.), pp 307-332
Prentice Hall International Series in Computer Science, Hoare, C.A.R. (ed.)
Prentice Hall, 1995, ISBN 0-13-366949-1
Notes : Chapter 13.

1994

The Evolution of the Recovery Block Concept
Randell, B. and Xu, J.
In Software Fault Tolerance,
Lyu, M. (ed), pp 1-22
Trends in Software,
Wiley, 1994, ISBN 0-471-95068-8

[Abstract]

Process Algebra Arguments about an Object-Based Notation
Jones, C.B.
In A Classical Mind: Essays in Honour of C.A.R. Hoare,
Roscoe, A.W. (ed), pp 231-246
Prentice Hall International Series in Computer Science, Hoare, C.A.R. (ed)
Prentice Hall PTR, 1994, ISBN 0-13-294844-3

Toward an Object-Oriented Approach to Software Fault Tolerance
Xu, J., Randell, B., Rubira, C.M.F. and Stroud, R.J.
In Fault-Tolerant Parallel and Distributed Systems,
Avresky, D.R. (ed), IEEE Press, 1994, ISBN 0-7923-8069-X

[Abstract]

Itemised Payments Systems within a Scheme: The Case of Breadalbane ESA
Skerratt, S.
In Incentives for Countryside Management: The Case of Environmentally Sensitive Areas,
Whitby, M. (ed), pp 105-133
CAB International, Wallingford, 1994, ISBN 0-85198-897-0

Farmers' adoption and non-adoption of agri-environmental initiatives: the case of Breadalbane ESA, Scotland
Skerratt, S. and Dent, J.B.
In Farmers' Decision Making - A Descriptive Approach,
Jacobsen, B.H., Pedersen, D.E., Christensen, J. and Rasmussen, S. (eds.), European Association of Agricultural Economists (EAAE), 1994,

Arjuna and Voltan: Case Studies in Building Fault Tolerant Distributed Systems Using Standard Components
Shrivastava, S.K.
In Hardware and Software Architectures for Fault Tolerance: Experiences and Perspectives,
Banatre, M. and Lee, P.A. (eds.), pp 218-226
Lecture Notes in Computer Science, 774
Springer-Verlag, 1994, ISBN 3-540-57767-X

Software Faults: The Remaining Problem in Fault Tolerant Systems?
Lee, P.A.
In Hardware and Software Architectures for Fault Tolerance,
Banatre, M. and Lee, P.A. (eds.), pp 171-181
Lecture Notes in Computing Science, 774
Springer-Verlag, 1994, ISBN 0-387-57767-X

On the Interaction of Unreliable Routes
Mitrani, I. and Wright, P.E.
In Probability, Statistics and Optimization: A Tribute to Peter Whittle,
Kelly, F.P. (ed), Wiley Series in Probability and Mathematical Statistics,
Wiley, 1994, ISBN 0-471-94829-2

Recovery Blocks
Randell, B. and Xu, J.
In Encyclopedia of Software Engineering, Vol 2,
Marciniak, J.J. (ed.-in-chief), pp 1037-1038
Wiley, New York, 1994, ISBN 0-471-21007-2

Foreword
Jones, C.B.
In Proof in VDM: A Practitioner's Guide,
Bicarregui, J.C., Fitzgerald, J.S. and Lindsay, P.A. (eds.), Formal Approaches to Computing and Information Technology (FACIT), Schuman, S.A. (ed)
Springer-Verlag, 1994, ISBN 3-540-19813-X

1992

Internationalisation: The Programmer, the User and the Writer
Marshall, L.F.
In Computers and Writing : State of the Art,
O'Brian Holt, P. and Williams, N. (eds), pp 197-205
Kluwer Academic Publishers, Dordrecht/Intellect Ltd., Oxford, 1992, ISBN 0-7923-1858-7

Computer System Models
Mitrani, I.
In Computing,
Coffman, E.G., Lenstra, J.K. and Rinooy Kan, A.H.G. (eds.), Handbooks in Operations Research and Management Science, 3
North-Holland, 1992, ISBN 0-444-88097-6

Modelling Systems with Dynamic Priorities
Koutny, M.
In Advances in Petri Nets 1992,
Rozenberg, G. (ed), pp 251-266
Lecture Notes in Computer Science, 609
Springer-Verlag, 1992, ISBN 3-540-55610-9

System Dependability
Randell, B.
In Future Tendencies in Computer Science, Control and Applied Mathematics,
Bensoussan, A. and Verjus, J.-P. (eds.), pp 21-50
Lecture Notes in Computer Science, 653
Springer-Verlag, 1992, ISBN 3-540-56320-2

[Abstract]

Detection systems for streptomycetes
Wipat, A., Wellington, E.M. and Saunders, V.A.
In Genetic Interactions Among Microorganisms in the Natural Environment,
Wellington, E.M.H. and van Elsas, J.D. (eds.), pp 83-90
Pergamon Press, 1992, ISBN 0-08-042000-1

1991

Fail-Silent Hardware for Distributed Systems
Shrivastava, S.K., Seaton, D.T., Howard, N. and Speirs, N.A.
In Delta-4: A Generic Architecture for Dependable Distributed Computing,
Powell, D. (ed), pp 295-305
ESPRIT Research Reports: Project 818/2252 Delta-4, 1
Springer-Verlag, 1991, ISBN 3-540-54985-4

Optimal Simulations, Nets and Reachability Graphs
Janicki, R. and Koutny, M.
In Advances in Petri Nets 1991,
Rozenberg, G. (ed), pp 205-226
Lecture Notes in Computer Science, 524
Springer-Verlag, 1991, ISBN 3-540-54398-8

Coping with the Past
Randell, B.
In Operating Systems of the 90s and Beyond,
Karshmer, A. and Nehmer, J. (eds.), pp 72-76
Lecture Notes in Computer Science, 563
Springer-Verlag, Berlin, 1991, ISBN 3-540-54987-0

Queueing Theory
Mitrani, I.
In Software Engineer's Reference Book,
McDermid, J. A.(ed), Butterworth-Heinemann , 1991, ISBN 0-7506-1040-9
Notes : Chapter 7.

Fault-Tolerant System Structuring Concepts
Shrivastava, S.K.
In Software Engineer's Reference Book,
McDermid, J.A. (ed), Butterworth-Heinemann, 1991, ISBN 0-7506-1040-9
Notes : Chapter 61.

Can computer programs be trusted?
Jones, C.B.
In Scientific Europe: Research and Technology in 20 Countries,
Calder, N. (ed), pp 304-309
Foundation Scientific Europe, Maastricht, 1991, ISBN 90-73035-06-6

1990

System Design and Structuring for Dependability
Randell, B.
In Resilient Computing Systems,
Anderson, T. (ed), pp 29-43
Collins & Wiley, 1990, ISBN 0-471-85426-3

Foreword
Randell, B.
In Beauty is Our Business: A Birthday Salute to Edsger W. Dijkstra,
Feijen, W.H.J., van Gasteren, A.J.M., Gries, D. and Misra, J. (eds.), Monographs in Computer Science, 453 Gries, D., and Schneider, F.B.(eds)
Springer-Verlag, New York, 1990, ISBN 0-387-97299-4

Distributed Computer Systems: Reliability
Shrivastava, S.K.
In Systems and Control Encyclopedia: Advances in Systems, Control and Information Engineering,
Singh, M.G. (ed), pp 181-186
Pergamon Press, 1990, ISBN 0-080-35933-7

Numerical Library Development for Transputer Arrays
Brown, N.G., Delves, L.M., Howard, G., Downing, S. and Phillips, C.
In Applications of Transputers 1,
Freeman, L. and Phillips, C. (eds.), pp 103-112
IOS Press, Amsterdam, 1990, ISBN 90-5199-025-1

Epilogue
Randell, B.
In A Computer Perspective: Background to the Computer Age,
Eames, C. and Eames, R., pp 161-163
Harvard Univ. Press, Cambridge, MA, 1990, ISBN 0-674-15626-9

Consequences
Jones, C.B.
In Beauty is Our Business: A Birthday Salute to Edsger W. Dijkstra,
Feijen, W.H.J., van Gasteren, A.J.M., Gries, D. and Misra, J. (eds.), Monographs in Computer Science, 453 Gries, D., and Schneider, F.B. (eds)
Springer-Verlag, New York, 1990, ISBN 0-387-97299-4

Dynamic Communication Links
Holt, C.M.
In Specification and Verification of Concurrent Systems,
Rattray, C. (ed), pp 184-195
Workshops in Computing,
Springer-Verlag, 1990, ISBN 3-540-19581-5

Gene transfer between streptomycetes in soil
Wellington, E.M.H., Cresswell, N. and Herron, P.R. et. al.
In Bacterial Genetics in Natural Environments,
Fry, J.C. and Day, M.J. (eds.), pp 216-230
Kluwer Academic Publishers, Dordrecht/Chapman and Hall, 1990, ISBN 0-412-35630-9

Unification: Specification and Development
Fitzgerald, J.S.
In Case Studies in Systematic Software Development,
Jones, C.B. and Shaw, R.C.F. (eds.), pp 127-162
Prentice Hall International Series in Computer Science, Hoare, C.A.R. (ed.)
Prentice Hall, 1990, ISBN 0-13-116088-5
Notes : Chapter 5.

The Flagship Parallel Machine
Watson, P.
In Parallel Computers,
Shute, M. (ed), Springer-Verlag, 1990,

Intervals as Time Lattices
Holt, C.M.
In Real-Time Systems: Theory and Applications,
Zedan, H. (ed), pp 63-79
North-Holland, 1990, ISBN 0-444-88625-7

1989

Data reification
Jones, C.B.
In The Theory and Practice of Refinement: Approaches to the Formal Development of Large-Scale Software Systems,
McDermid, J.A. (ed), pp 79-89
Butterworths, 1989, ISBN 0-408-03981-7

A small language definition
Jones, C.B.
In Case Studies in Systematic Software Development,
Jones, C.B. and Shaw, R.C.F. (eds.), pp 235-256
Prentice Hall International Series in Computer Science,
Prentice Hall, 1989, ISBN 0-13-116088-5

1988

Tolerating Software Design Faults in a Command and Control System
Anderson, T. et al.
In Software Diversity in Computerized Control Systems,
Voges, U. (ed), pp 109-128
Dependable Computing and Fault-Tolerant Systems, 2
Springer, 1988, ISBN 0-387-82014-0

Reliability Modelling for Fault-Tolerant Software
Littlewood, B. and Anderson, T.
In Software Diversity in Computerized Control Systems,
Voges, U. (ed), pp 173-182
Dependable Computing and Fault-Tolerant Systems, 2
Springer, 1988, ISBN 0-387-82014-0

1987

Design Fault Tolerance in Practical Systems
Anderson, T.
In Software Reliability: Achievement and Assessment,
Littlewood, B. (ed), pp 44-55
Blackwell Scientific Publications, 1987, ISBN 0-632-01573-X

Dealing with state on Flagship: the MONSTR computational model
Banach, R., and Watson, P.
In Selected Reprints on Dataflow and Reduction Architectures,
Thakkar, S.S. (ed), IEEE Computer Society Press, 1987, ISBN 0-8186-0759-9

The Technical Committee on Fault Tolerant Computing of the IEEE Computer Society
Anderson, T., Avizienis, A. and Laprie, J.C.
In The Evolution of Fault-Tolerant Computing. In the Honor of William C. Carter,
Avizienis, A., Kopetz, H. and Laprie, J.C. (eds), pp 437-440
Dependable Computing and Fault-Tolerant Systems, 1
Springer-Verlag, 1987, ISBN 3-211-81941-X

On Equivalent Execution Semantics of Concurrent Systems
Janicki, R. and Koutny, M.
In Advances in Petri Nets 1986,
Rozenberg, G. (ed), pp 179-190
Lecture Notes in Computer Science, 266
Springer-Verlag, 1987, ISBN 3-540-18086-9

Design Fault Tolerance
Randell, B.
In The Evolution of Fault-Tolerant Computing,
Avizienis, A., Kopetz, H. and Laprie, J.-C. (eds.), pp 251-270
Springer-Verlag, 1987, ISBN 3-211-81941-X

1986

Foreword
Jones, C.B.
In Introduction to Discrete Mathematics for Software Engineering,
Denvir, T., Macmillan Computer Science Series,
Palgrave Macmillan, 1986, ISBN 0-333-40737-7

Recursively Structured Fault-Tolerant Distributed Computing Systems
Randell, B.
In Software System Design Methods,
Skwirzynski, J.K. (ed), pp 35-52
NATO ASI Series: Series F, Computer and Systems Sciences, 22
Springer-Verlag, 1986, ISBN 0-387-16765-X

1985

Die Rolle abstrakter Modelle in der Informationsverarbeitung
Jones, C.B.
In Heinz Zemanek - ein Computerpionier,
Chroust, G. (ed), Schriftenreihe der Österreichischen Computer Gesellschaft, 27
R. Oldenbourg Verlag, 1985, ISBN 3-7029-0208-2

Introduction
Randell, B.
In Reliable Computer Systems: Collected Papers of the Newcastle Reliability Project,
Shrivastava, S.K. (ed), Monographs in Computer Science, Gries, D., and Schneider, F.B.(eds)
Springer-Verlag, Heidelberg, 1985, ISBN 3-540-15256-3

Operating Systems for the IBM PC
Alty, J., Brooks, A. and Randell, B.
In The Research and Academic Users Guide to the IBM Personal Computer,
Barnetson, P. (ed), pp 13-25
IBM United Kingdom Limited, 1985,

Systematic program development
Jones, C.B.
In Software Specification Techniques,
Gehani, N. and McGettrick, A.D. (eds.), pp 89-110
International Computer Science Series,
Addison-Wesley, 1985, ISBN 0-201-14230-9

Design Fault Tolerance
Lee, P.A. and Anderson, T.
In Resilient Computing Systems,
Anderson, T. (ed), pp 64-77
Collins, 1985, ISBN 0-00-383039-X

Comments on “Memorandum on Mechanical Solution of Partial Differential Equations”
Randell, B.
In Norbert Wiener: Collected Works, Vol. IV,
Masani, P. (ed), pp 135
Mathematicians of our time, 23
MIT Press, 1985, ISBN 0-262-23123-9

1982

Variational Principles for Nonlinear Partial Differential Equations
Phillips, C.
In The Numerical Solution of Nonlinear Problems,
Baker, C.T.H. and Phillips, C. (eds.), pp 187-194
Clarendon Press, Oxford, 1982, ISBN 0-198-5335-43

1980

Foreword
Randell, B.
In Fundamentals of Computer Architecture,
Stone, H. (ed), Science Research Associates, 1980,

The COLOSSUS
Randell, B.
In A History of Computing in the Twentieth Century,
Metropolis, N. et.al. (eds.), pp 47-92
Academic Press, New York, 1980, ISBN 0-12-491650-3

[Abstract]

The role of formal specifications in software development
Jones, C.B.
In Life-Cycle Management,
pp 117-133
Infotech State of the Art Reports Series 8, 7
Infotech Information Ltd., Maidenhead, 1980, ISBN 0-85539-680-6

1979

System Reliability and Structuring
Randell, B.
In Computing Systems Reliability,
Anderson, T. and Randell, B. (eds.), pp 1-18
Cambridge University Press, New York, 1979, ISBN 0-521-22767-4

La Genese des Calculateurs Electroniques
Randell, B.
In Histoire Generale des Techniques V. Les Techniques de la Civilisation Industrielle,
Perrot, M. et. al. (eds.), Presses Universitaires de France, Paris, 1979,

System Fault Tolerance
Anderson, T., Lee, P.A. and Shrivastava, S.K.
In Computing Systems Reliability,
Anderson, T. and Randell, B. (eds), pp 153-210
Cambridge University Press, 1979, ISBN 0-521-22767-4

1978

Reliable Computing Systems
Randell, B., Lee, P.A. and Treleaven, P.C.
In Operating Systems: An Advanced Course,
Flynn, M.J., Gray, J. and Jones, A.K. et. al. (eds.), pp 283-393
Lecture Notes in Computer Science, 60
Springer-Verlag, 1978, ISBN 0-387-08755-9

The META-Language: A Reference Manual
Jones, C.B.
In The Vienna Development Method: The Meta-Language,
Bjorner, D. and Jones, C.B. (eds.), pp 218-277
Lecture Notes in Computer Science, 61
Springer-Verlag, 1978, ISBN 3-540-08766-4

Denotational Semantics of GOTO: An Exit Formulation and Its Relation to Continuations
Jones, C.B.
In The Vienna Development Method: The Meta-Language,
Bjorner, D. and Jones, C.B. (eds.), pp 278-304
Lecture Notes in Computer Science, 61
Springer-Verlag, 1978, ISBN 3-540-08766-4

Formal Definition of Algol 60 as Described in the 1975 Modified Report
Henhapl, W. and Jones, C.B.
In The Vienna Development Method: The Meta-Language,
Bjorner, D. and Jones, C.B. (eds.), pp 305-336
Lecture Notes in Computer Science, 61
Springer-Verlag, 1978, ISBN 3-540-08766-4