vault backup: 2025-04-15 14:25:01

.obsidian/workspace.json

@@ -34,9 +34,23 @@
               "icon": "lucide-file",
               "title": "12b - CCS cose varie"
             }
+          },
+          {
+            "id": "a222ab88db5cfdd0",
+            "type": "leaf",
+            "state": {
+              "type": "markdown",
+              "state": {
+                "file": "Concurrent Systems/notes/11 - LTSs and Bisimulation.md",
+                "mode": "source",
+                "source": false
+              },
+              "icon": "lucide-file",
+              "title": "11 - LTSs and Bisimulation"
+            }
           }
         ],
-        "currentTab": 1
+        "currentTab": 2
       }
     ],
     "direction": "vertical"
@@ -205,11 +219,12 @@
       "companion:Toggle completion": false
     }
   },
-  "active": "9d3f25b0eb9b478f",
+  "active": "a222ab88db5cfdd0",
   "lastOpenFiles": [
+    "Concurrent Systems/notes/10 - Implementing Consensus.md",
     "Concurrent Systems/notes/12 - Calculus of communicating system.md",
-    "Concurrent Systems/notes/11 - LTSs and Bisimulation.md",
     "Concurrent Systems/notes/12b - CCS cose varie.md",
+    "Concurrent Systems/notes/11 - LTSs and Bisimulation.md",
     "Concurrent Systems/slides/class 12.pdf",
     "Pasted image 20250415090109.png",
     "Pasted image 20250415082906.png",
@@ -225,7 +240,6 @@
     "HCIW/notes/3 - Beacons.md",
     "HCIW/slides/Zooming interfaces.pdf",
     "HCIW/slides/Gestural interaction.pdf",
-    "Concurrent Systems/notes/10 - Implementing Consensus.md",
     "Concurrent Systems/notes/2 - Fast mutex by Lamport.md",
     "Concurrent Systems/notes/4 - Semaphores.md",
     "Concurrent Systems/notes/4b - Monitors.md",