Distributed Systems, Failure, Paper Review.
system will transition to a legal state sₘ. The sequence of transitions that lead from an illegal state to a legal state is also called the recovery transitions. 4. State ∈ Illegal State, Transition ∈ Failure Transition If a system that is currently in a failure state sₙ (repeatedly) executes a