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

vault backup: 2025-04-14 10:37:25

Browse source
This commit is contained in:
Marco Realacci 2025-04-14 10:37:25 +02:00
parent ce7a899103
commit 9d440ced9f
2 changed files with 6 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
.obsidian/workspace.json vendored
View file

@ -240,9 +240,9 @@
},
"active": "84845736e00d5c98",
"lastOpenFiles": [
"Pasted image 20250414102733.png",
"Concurrent Systems/slides/class 12.pdf",
"Concurrent Systems/notes/12 - bastaaaaaaaa.md",
"Pasted image 20250414102733.png",
"Concurrent Systems/notes/11 - LTSs and Bisimulation.md",
"Concurrent Systems/slides/class 11.pdf",
"Pasted image 20250414093017.png",
@ -257,7 +257,6 @@
"Concurrent Systems/notes/images/Pasted image 20250408091924.png",
"Concurrent Systems/notes/images/Pasted image 20250408093840.png",
"Concurrent Systems/notes/images/Pasted image 20250408094749.png",
"Concurrent Systems/notes/images/Pasted image 20250408092853.png",
"Concurrent Systems/notes/10 - Implementing Consensus.md",
"Concurrent Systems/notes/2 - Fast mutex by Lamport.md",
"Concurrent Systems/notes/4 - Semaphores.md",

5
Concurrent Systems/notes/12 - bastaaaaaaaa.md
View file

@ -17,3 +17,8 @@ When two processes synchronize, an external observer has no way of understanding
The set of actions we shall consider is: ![150](../../Pasted%20image%2020250414102733.png)
It is also useful to force some processes of the system to synchronize between them (without the possibility of showing to the outside some actions)
The restriction operator P\a restricts the scope of name a to process P (a is visible only from within P)
This is similar to local variables in a procedure of an imperative program