From f1b6f7cb601e70365fe60e058dbbff31aad2bf4d Mon Sep 17 00:00:00 2001
From: Marco Realacci <marco@marcorealacci.me>
Date: Mon, 31 Mar 2025 09:20:43 +0200
Subject: [PATCH] vault backup: 2025-03-31 09:20:43

---
 Concurrent Systems/notes/9 - Consensus.md | 17 +++++++++++------
 1 file changed, 11 insertions(+), 6 deletions(-)

diff --git a/Concurrent Systems/notes/9 - Consensus.md b/Concurrent Systems/notes/9 - Consensus.md
index 9f1e85a..ed781c0 100644
--- a/Concurrent Systems/notes/9 - Consensus.md	
+++ b/Concurrent Systems/notes/9 - Consensus.md	
@@ -104,13 +104,18 @@ local simulation of Z by p_i
 				# j ha fatto una nuova proposta
 				invoc_i.append(⟨𝜋1(LAST_OP[j]),j⟩)
 				# allora la aggiungo alla mia lista invoc_i
-				if invoci ≠ 𝜀 then
+				# per eventualmente proporlo come valore dopo
+				if invoc_i ≠ 𝜀 then
+					# ci sono nuove invocazioni
+					# allora partecipo al round
 					k++
-					exec_i <- CONS[k].propose(invoci)
-					for r=1 to |execi|
-						⟨zi,res⟩ -> 𝛿(zi,𝜋1(execi[r]))
-						j <- 𝜋2(execi[r])
-						last_sni[j]++
+					exec_i <- CONS[k].propose(invoc_i)
+					# sto proponendo UNA LISTA di operazioni
+					# solo una vincerà
+					for r=1 to |exec_i|
+						⟨z_i,res⟩ -> 𝛿(zi,𝜋1(exec_i[r]))
+						j <- 𝜋2(exec_i[r])
+						last_sn_i[j]++
 						if i=j then 
 							result_i <- res
 ```