Distributed Systems, Failure, Paper Review.
illegal state x ∈ {0} to a legal state x ∈ {1}, so ❸ is a recovery transition. In legal states, the process will guarantee both safety and liveness properties; however in an illegal state the process does not guarantee its safety, only its liveness — the system is Non-Masking Failure tolerant.