diff --git a/Concurrent Systems/notes/6 - Atomicity.md b/Concurrent Systems/notes/6 - Atomicity.md index c630a14..88a40ea 100644 --- a/Concurrent Systems/notes/6 - Atomicity.md +++ b/Concurrent Systems/notes/6 - Atomicity.md @@ -39,3 +39,6 @@ Let $\to$ denote $\to_{H} \cup \bigcup_{X \in H} \to _{X}$ > > we would contraddict op2 ->x op3 +... +... +