From 09deb553d3ef3ce7b1d35f07a0c5a78721deba64 Mon Sep 17 00:00:00 2001
From: Marco Realacci <marco@marcorealacci.me>
Date: Wed, 30 Apr 2025 18:43:22 +0200
Subject: [PATCH] vault backup: 2025-04-30 18:43:22

---
 .obsidian/workspace.json                           | 10 +++++-----
 Concurrent Systems/notes/13 - Weak Bisimilarity.md |  1 +
 2 files changed, 6 insertions(+), 5 deletions(-)

diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index 77e28cb..4769ae7 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -13,12 +13,12 @@
             "state": {
               "type": "markdown",
               "state": {
-                "file": "Concurrent Systems/notes/11 - LTSs and Bisimulation.md",
+                "file": "Concurrent Systems/notes/13 - Weak Bisimilarity.md",
                 "mode": "source",
                 "source": false
               },
               "icon": "lucide-file",
-              "title": "11 - LTSs and Bisimulation"
+              "title": "13 - Weak Bisimilarity"
             }
           }
         ]
@@ -192,15 +192,16 @@
   },
   "active": "ec8d1a91f1f0cc7e",
   "lastOpenFiles": [
+    "Concurrent Systems/notes/14.md",
+    "Concurrent Systems/notes/12 - Calculus of communicating system.md",
+    "Concurrent Systems/notes/11 - LTSs and Bisimulation.md",
     "Concurrent Systems/notes/10 - Implementing Consensus.md",
     "Concurrent Systems/notes/13 - Weak Bisimilarity.md",
     "Pasted image 20250430183304.png",
     "Pasted image 20250430175412.png",
     "Pasted image 20250430171336.png",
     "Concurrent Systems/slides/class 13.pdf",
-    "Concurrent Systems/notes/14.md",
     "Concurrent Systems/notes/12b - CCS cose varie.md",
-    "Concurrent Systems/notes/12 - Calculus of communicating system.md",
     "Concurrent Systems/notes/images/Pasted image 20250415082906.png",
     "Concurrent Systems/slides/class 14.pdf",
     "Concurrent Systems/notes/images/Pasted image 20250429092543.png",
@@ -210,7 +211,6 @@
     "Concurrent Systems/notes/images/Pasted image 20250429091029.png",
     "Concurrent Systems/notes/images/Pasted image 20250429085319.png",
     "Concurrent Systems/slides/class 12.pdf",
-    "Concurrent Systems/notes/11 - LTSs and Bisimulation.md",
     "HCIW/slides/HCI in the car.pdf",
     "Concurrent Systems/slides/class 11.pdf",
     "HCIW/notes/3 - Beacons.md",
diff --git a/Concurrent Systems/notes/13 - Weak Bisimilarity.md b/Concurrent Systems/notes/13 - Weak Bisimilarity.md
index f3e2394..c668674 100644
--- a/Concurrent Systems/notes/13 - Weak Bisimilarity.md	
+++ b/Concurrent Systems/notes/13 - Weak Bisimilarity.md	
@@ -155,3 +155,4 @@ No (ci sono rimasto male anche io).
 Ma il fatto è che questo porta a questo LTS:
 ![](../../Pasted%20image%2020250430183304.png)
 
+Il gioco (infamata incredibile comunque) sta nel fatto che con la restrizione per c1...cn (c1)
\ No newline at end of file