State space modelling in the design of robust software for distributed systems: A case study. - Geoffrey F. Carpenter (Microprocess. Microprogramming, 1988)

The design and simulation of software fault tolerant mechanisms for application in distributed processing systems. - Geof F. Carpenter; David J. Holding; Andy M. Tyrrell (Microprocess. Microprogramming, 1988)

The use of GMB in the design of robust software for distributed systems. - Geoffrey F. Carpenter; Andrew M. Tyrrell (Softw. Eng. J., 1989)

Database for investigating the effects of induced faults. - Geoffrey F. Carpenter (Microprocess. Microsystems, 1989)

The synthesis of deadlock-free interprocess communications. - Geoffrey F. Carpenter (Microprocessing and Microprogramming, 1990)

Data flow methods in the design of parallel computing systems. - Andrew M. Tyrrell; Geoffrey F. Carpenter (Microprocessing and Microprogramming, 1990)

Mechanism for evaluating the effectiveness of software fault-tolerant structures. - Geoffrey F. Carpenter (Microprocess. Microsystems, 1990)

Design and analysis of fault tolerant digital systems: Johnson, B W Addison-Wesley, USA (1989) $41.35 pp 584. - Geoffrey F. Carpenter (Microprocess. Microsystems, 1991)

The design of a weather 'nowcast' system. - M. Salim; P. J. Best; Geoffrey F. Carpenter (Microprocess. Microsystems, 1991)

The specification and design of atomic actions for fault tolerant concurrent software. - Andrew M. Tyrrell; Geof F. Carpenter (Microprocess. Microprogramming, 1992)

Tolerating communication failures. - Geoffrey F. Carpenter (PDP, 1993)

The design of time-critical conversations. - Andrew M. Tyrrell; Geoffrey F. Carpenter (Microprocess. Microprogramming, 1993)

Reliability in Instrumentation and Control: J C Cluley Butterworth-Heinemann, Oxford, UK (1993) ISBN 0 7506 0737 8, £25, pp 155. - Geof F. Carpenter (Microprocess. Microsystems, 1994)

CSP Methods for Identifying Atomic Actions in the Design of Fault Tolerant Concurrent Systems. - Andrew M. Tyrrell; Geof F. Carpenter (IEEE Trans. Software Eng., 1995)