vault backup: 2025-04-15 09:45:18

.obsidian/workspace.json

@@ -226,10 +226,10 @@
       "companion:Toggle completion": false
     }
   },
-  "active": "46d9dfa1750fc4db",
+  "active": "9d3f25b0eb9b478f",
   "lastOpenFiles": [
-    "Concurrent Systems/notes/13 - CCS cose varie.md",
     "Concurrent Systems/slides/class 12.pdf",
+    "Concurrent Systems/notes/13 - CCS cose varie.md",
     "Pasted image 20250415090109.png",
     "Concurrent Systems/notes/12 - Calculus of communicating system.md",
     "Pasted image 20250415082906.png",

Concurrent Systems/notes/13 - CCS cose varie.md

@@ -64,4 +64,6 @@ Is bisimilarity a congruence? Yes.
 **Theorem:**
 $$if \space P ∼ Q \space then \space \forall C.C[P] ∼ C[Q]$$
 
-Proof on the slides.
+Proof on the slides.
+
+So today we learned that bisimulation is a good equivalence.