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

Concurrent Systems/notes/6 - Atomicity.md

@@ -70,7 +70,7 @@ Let us define a linearization of $\hat{H}$ as follows: $$\hat{S}=inv(op1)res(op1
 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:
+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