diff --git a/Concurrent Systems/notes/9 - Consensus.md b/Concurrent Systems/notes/9 - Consensus.md index db9d6ce..27ed3e3 100644 --- a/Concurrent Systems/notes/9 - Consensus.md +++ b/Concurrent Systems/notes/9 - Consensus.md @@ -69,7 +69,7 @@ while true if invoc_i ≠ ⊥ then # prosegue se ci sono invocazioni k++ exec_i <- CONS[k].propose(invoc_i) - ⟨z_i , res⟩ <- 𝛿(z_i, 𝜋1(exec_i)) + ⟨z_i, res⟩ <- 𝛿(z_i, 𝜋1(exec_i)) if 𝜋2(exec_i) = i then invoc_i <- ⊥ result_i <- res