System structure for software fault tolerance

The structure of the “THE”-multiprogramming system

1968 • 1,063 citations

A program structure for error detection and recovery

2005 • 285 citations

PLANNER: a language for proving theorems in robots

1969 • 199 citations

Failure-Tolerant Computer Design

1965 • 177 citations

Recovery semantics for a DB/DC system

1973 • 121 citations

A recursive virtual machine architecture

1973 • 36 citations

Response to detected errors in well-structured programs

1972 • 31 citations

A modular approach to file system design

1969 • 28 citations

Provably Safe Programs

1975 • 6 citations

Highly Reliable Computing Systems

1971 • 4 citations

Research on Computing System Reliability at the University of Newcastle upon Tyne

1974 • 3 citations