A technique for making distributed systems fault-tolerant by replicating a deterministic state machine across multiple servers.