Fundamentals of fault-tolerant distributed computing in asynchronous environments

This paper uses a formal approach to define important terms like fault, fault tolerance, and redundancy, which leads to four distinct forms of fault tolerance and to two main phases in achieving them: detection and correction.