Geof F. Carpenter

Publication Activity (10 Years)

Years Active: 1988-1995
Publications (10 Years): 0

Publications

Andrew M. Tyrrell, Geof F. Carpenter
CSP Methods for Identifying Atomic Actions in the Design of Fault Tolerant Concurrent Systems. IEEE Trans. Software Eng. 21 (7) (1995)
Geof F. Carpenter
Reliability in Instrumentation and Control: J C Cluley Butterworth-Heinemann, Oxford, UK (1993) ISBN 0 7506 0737 8, £25, pp 155. Microprocess. Microsystems 18 (6) (1994)
Andrew M. Tyrrell, Geof F. Carpenter
The specification and design of atomic actions for fault tolerant concurrent software. Microprocess. Microprogramming 35 (1-5) (1992)
Geof F. Carpenter, David J. Holding, Andy M. Tyrrell
The design and simulation of software fault tolerant mechanisms for application in distributed processing systems. Microprocess. Microprogramming 22 (3) (1988)