marcorealacci/master-degree-notes
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

vault backup: 2025-03-18 09:19:12

Browse source
This commit is contained in:
Marco Realacci 2025-03-18 09:19:12 +01:00
parent 07c796a4fc
commit f12f543c64
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
Concurrent Systems/notes/6 - Atomicity.md
View file

@ -23,4 +23,5 @@ Given an history $\hat{K}$, we can define a binary relation on events $⟶_{K}$
![[Pasted image 20250318090733.png]] ![[Pasted image 20250318090733.png]]
![[Pasted image 20250318090909.png]] ![[Pasted image 20250318090909.png]]But there is another linearization possible! I can also push a before if I pull it before c!