vault backup: 2025-04-08 09:31:02

.obsidian/workspace.json

@@ -213,6 +213,7 @@
   "lastOpenFiles": [
     "Concurrent Systems/slides/class 11.pdf",
     "Concurrent Systems/notes/11 - non so cosa faremo oggi.md",
+    "Pasted image 20250408092853.png",
     "Pasted image 20250408091924.png",
     "Concurrent Systems/notes/10 - Implementing Consensus.md",
     "Concurrent Systems/notes/2 - Fast mutex by Lamport.md",
@@ -255,7 +256,6 @@
     "Concurrent Systems/notes/images/Pasted image 20250325090735.png",
     "Concurrent Systems/slides/class 8.pdf",
     "Concurrent Systems/notes/images/Pasted image 20250324091452.png",
-    "Concurrent Systems/notes/images/Pasted image 20250324082534.png",
     "Senza nome.canvas"
   ]
 }

Concurrent Systems/notes/11 - non so cosa faremo oggi.md

@@ -18,3 +18,8 @@ $$(20.(tea + 20.coffee))∗ = (20.tea + 20.20.coffee)∗$$
 
 
 But, do they behave the same from the point of view of an external observer??
+![](../../Pasted%20image%2020250408092853.png)
+The essence of the difference is WHEN the decision to branch is taken
+-  language equivalence gets rid of branching points
+	- it is too coarse for our purposes!
+