Fault-tolerant computer systems
Computing
Distributed algorithms
Parallel computing
Paxos
Consensus
Lamport