vault backup: 2025-04-28 09:43:51

.obsidian/workspace.json

@@ -211,10 +211,10 @@
       "companion:Toggle completion": false
     }
   },
-  "active": "56150e6df7869900",
+  "active": "6c4a39240e6da514",
   "lastOpenFiles": [
-    "Concurrent Systems/slides/class 13.pdf",
     "Concurrent Systems/notes/13 - Weak Bisimilarity.md",
+    "Concurrent Systems/slides/class 13.pdf",
     "Pasted image 20250428085837.png",
     "Pasted image 20250428085410.png",
     "Pasted image 20250428084340.png",

Concurrent Systems/notes/13 - Weak Bisimilarity.md

@@ -95,3 +95,4 @@ Furthermore, we should also consider commutativity of parallel in pairs of the s
 
 Thus, R is actually made up of 1+6+2+2+9+6+6+2 = 34 pairs.
  *exercise: write down the LTSs*
+