Geoffrey F. Carpenter

According to our database, Geoffrey F. Carpenter authored at least 14 papers between 1988 and 1995.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1995

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

1994

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

1993

The design of time-critical conversations.

Andrew M. Tyrrell, Geoffrey F. Carpenter

Microprocess. Microprogramming, 1993

Tolerating communication failures.

Geoffrey F. Carpenter

Proceedings of the 1993 Euromicro Workshop on Parallel and Distributed Processing, 1993

1992

The specification and design of atomic actions for fault tolerant concurrent software.

Andrew M. Tyrrell, Geof F. Carpenter

Microprocess. Microprogramming, 1992

1991

The design of a weather 'nowcast' system.

M. Salim, P. J. Best, Geoffrey F. Carpenter

Microprocess. Microsystems, 1991

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

1990

Mechanism for evaluating the effectiveness of software fault-tolerant structures.

Geoffrey F. Carpenter

Microprocess. Microsystems, 1990

Data flow methods in the design of parallel computing systems.

Andrew M. Tyrrell, Geoffrey F. Carpenter

Microprocessing and Microprogramming, 1990

The synthesis of deadlock-free interprocess communications.

Geoffrey F. Carpenter

Microprocessing and Microprogramming, 1990

1989

Database for investigating the effects of induced faults.

Geoffrey F. Carpenter

Microprocess. Microsystems, 1989

The use of GMB in the design of robust software for distributed systems.

Geoffrey F. Carpenter, Andrew M. Tyrrell

Softw. Eng. J., 1989

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

State space modelling in the design of robust software for distributed systems: A case study.

Geoffrey F. Carpenter

Microprocess. Microprogramming, 1988