diff --git a/Concurrent Systems/notes/6 - Atomicity.md b/Concurrent Systems/notes/6 - Atomicity.md index d7abe9f..160cfc2 100644 --- a/Concurrent Systems/notes/6 - Atomicity.md +++ b/Concurrent Systems/notes/6 - Atomicity.md @@ -77,7 +77,8 @@ Considero $\to'|_X$ come $\to'$ filtrato per gli eventi su X. **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 +Considero $\to|_X$ come $\to$ filtrato per gli eventi di X. + Si ha che $\to|_X \space \subseteq \space \to'|_X$ $\hat{S}$ is clearly sequential. Moreover: