Designing Data-Intensive Applications: The Big Ideas Behind Reliable, Scalable, and Maintainable Systems

by Martin Kleppmann

Thus, the termination property is subject to the assumption that fewer than half of the nodes are crashed or unreachable.