Distributed Systems, Failure, Paper Review.
2}, its illegal state as x ∈ {0}, and its untolerated state as x ∈ {3}; accordingly the process normal transitions are { ❶, ❷, ❸} and its failure transition is {❹}. By definition, the correctness specification of the process is Safety. The value of x is either 1 or 2 Liveness. There is a point in