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

This commit is contained in:
Marco Realacci 2025-03-18 17:05:04 +01:00
parent 11990402bc
commit d5474248df
2 changed files with 4 additions and 4 deletions

View file

@ -72,7 +72,7 @@ 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}$
-
- commenti
> [!PDF|red] class 6, p.6> we would have a cycle of length
>
> we would contraddict op2 ->x op3