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

by Martin Kleppmann

clarify the situation, it is worth distinguishing between two different kinds of properties: safety and liveness properties.