Abstractions for Fault Tolerance in Distributed Systems
Fred B. Schneider · Defense Technical Information Center (DTIC) · 1986
Abstractions useful in fault-tolerant and distributed systems are described. The abstractions are specified as properties of protocols, hence they have a different flavor from abstractions prevalent in sequential and concurrent programming. Among the abstractions discussed are agreement, order, failure detection, and stable storage.