Consensus and Faults

His work on Byzantine agreement and Paxos helped define what distributed systems can guarantee amid delays and failures.