Distributed Systems, Distributed Algorithms, Algorithms, Paxos, Consensus.
also describe an asynchronous network model where there is no upper bound on amount of time a node can take to respond to a message, since you can never assume a node to be dead — they may just be slow or the network may be slow. You cannot timeout in this model. 3PC is fail-stop resilient, but not