Distributed Systems, Failure, Paper Review.
state transition in an execution. 1. State ∈ Legal State, Transition ∈ Normal Transition If a system that is currently in a legal state sₙ executes a normal transition, then the system will transition to a legal state sₘ again. 2. State ∈ Legal State, Transition ∈ Failure Transition If a system