diff --git a/Concurrent Systems/notes/9 - Consensus.md b/Concurrent Systems/notes/9 - Consensus.md index 1e99857..8f1c618 100644 --- a/Concurrent Systems/notes/9 - Consensus.md +++ b/Concurrent Systems/notes/9 - Consensus.md @@ -71,5 +71,6 @@ while true result_i <- res ``` This solution is non-blocking but not wait-free (can run forever). -P.S. invoc, result e Z sono varia. +P.S. *invoc_i*, *result_i* e *z_i* sono variabili locali. + ### A wait-free construction