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

vault backup: 2025-03-26 16:51:30

Browse source
This commit is contained in:
Marco Realacci 2025-03-26 16:51:30 +01:00
parent da79cee51d
commit 7708891e12
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
Concurrent Systems/notes/7- MUTEX-free concurrency.md
View file

@ -88,7 +88,7 @@ get_ts(i) :=
if LAST[k] = i then if LAST[k] = i then
NEXT++ NEXT++
return k return k
k++ k++
``` ```
#### Soundness theorem (yes, again) #### Soundness theorem (yes, again)