From 6da7c4b084648374cec7daff0bc67a4ec1b9d90c Mon Sep 17 00:00:00 2001
From: Marco Realacci <marco@marcorealacci.me>
Date: Tue, 15 Apr 2025 09:45:18 +0200
Subject: [PATCH] vault backup: 2025-04-15 09:45:18

---
 .obsidian/workspace.json                        | 4 ++--
 Concurrent Systems/notes/13 - CCS cose varie.md | 4 +++-
 2 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index 83c3301..3dbd8f9 100644
--- a/.obsidian/workspace.json
+++ b/.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",
diff --git a/Concurrent Systems/notes/13 - CCS cose varie.md b/Concurrent Systems/notes/13 - CCS cose varie.md
index cbce05c..472ff5b 100644
--- a/Concurrent Systems/notes/13 - CCS cose varie.md	
+++ b/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.
\ No newline at end of file
+Proof on the slides.
+
+So today we learned that bisimulation is a good equivalence.
\ No newline at end of file