Distributed Systems, Failure, Paper Review.
variable x with the possible values {0, 1, 2, 3}. process var x ∈ {0, 1, 2, 3} init 1 transitions // normal transition ❶ x = 1 → x := 2 ❷ x = 2 → x := 1 // normal, repair transition ❸ x = 0 → x := 1 // failure transition ❹ x ≠ 0 → x := 0 end end We define the the process’ legal states as x ∈ {1,