vault backup: 2025-03-18 16:50:04

Concurrent Systems/notes/6 - Atomicity.md

@@ -71,6 +71,8 @@ we would have the topological order: $op1\to'op2\to'...$
 
 $\hat{S}$ is clearly sequential. Moreover:
 1. $\forall X :\hat{S}|_{X} = \hat{S}_X (\in semantics(X))$. Indeed:
+	- $<_{\hat{S}_X}=\to_X \subseteq \to'_X = \to_{\hat{S}|X}=<_{\hat{S}|X}$
+	- 
 > [!PDF|red] class 6, p.6>  we would have a cycle of length 
 > 
 > we would contraddict op2 ->x op3