Distributed Systems, Failure, Paper Review.
defines the Correctness of a systems in terms of Safety and Liveness Properties: Informally, a Safety Property states that something bad will never happen. Informally, a Liveness Property states that something good will eventually happen. A system is correct if every possible execution of the