vault backup: 2025-04-29 08:33:47

.obsidian/workspace.json

@@ -213,6 +213,8 @@
   },
   "active": "ec8d1a91f1f0cc7e",
   "lastOpenFiles": [
+    "Pasted image 20250429083129.png",
+    "Pasted image 20250429082905.png",
     "Concurrent Systems/slides/class 14.pdf",
     "Concurrent Systems/notes/14.md",
     "Pasted image 20250429082812.png",
@@ -232,7 +234,6 @@
     "Pasted image 20250415090109.png",
     "Pasted image 20250415082906.png",
     "Concurrent Systems/notes/images/Pasted image 20250414164549.png",
-    "Concurrent Systems/notes/images/Pasted image 20250414181443.png",
     "Concurrent Systems/slides/class 11.pdf",
     "HCIW/notes/3 - Beacons.md",
     "HCIW/slides/Zooming interfaces.pdf",

Concurrent Systems/notes/14.md

@@ -8,3 +8,11 @@ Inference system = axioms + inference rules
 
 #### Axioms & Rules for Strong Bisimilarity
 ![350](../../Pasted%20image%2020250429082812.png)
+ quite obvious.
+
+![350](../../Pasted%20image%2020250429082905.png)
+basically we can let the left or the right process evolve, leaving the other unchanged, or they can synchronize.
+
+![350](../../Pasted%20image%2020250429083129.png)
+- if a process does not perform any action, a restriction won't do anything
+-