Distributed Systems, Distributed Algorithms, Algorithms, Paxos, Consensus.
is called the FLP Impossibility Result. Further Reading Principles of Transaction Processing, Chapter 8 provides a detailed overview of the Two Phase Commit Non-blocking Commit Protocols — original paper by Dale Skeen that describes 3PC The Part-time Parliament — the original Paxos paper by