vault backup: 2025-03-18 17:40:04

Concurrent Systems/notes/6 - Atomicity.md

@@ -73,9 +73,12 @@ $\to'|_X$
 $\to|_X$
 $\to_X$
 
-Osservazione: $\to'|_X$ è come dire $\to_{\hat{S}|X}$. L'ordinamento topologico è letteralmente la sequenza di eventi in S
+Considero $\to'|_X$ come $\to'$ filtrato per gli eventi su X.
 
-Si ha che $\to|_X \space \subseteq \space \to'|_X$ perché l'ordinamento topologico è letteralmente la sequenza di eventi in $\hat{S}$
+**Osservazione 1:** $\to'|_X$ è come dire $\to_{\hat{S}|X}$ perché l'ordinamento topologico è letteralmente la sequenza di eventi in S, e se filtro entrambi per gli eventi su X ottengo la stessa cosa...
+
+Considero 
+Si ha che $\to|_X \space \subseteq \space \to'|_X$ 
 
 $\hat{S}$ is clearly sequential. Moreover:
 1. $\forall X :\hat{S}|_{X} = \hat{S}_X (\in semantics(X))$, indeed: