From 2ed83eb8a05d149bdc9706a90f3fcafb4cd1b688 Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Mon, 28 Apr 2025 09:43:51 +0200 Subject: [PATCH] vault backup: 2025-04-28 09:43:51 --- .obsidian/workspace.json | 4 ++-- Concurrent Systems/notes/13 - Weak Bisimilarity.md | 1 + 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index f83ad92..551496c 100644 --- a/.obsidian/workspace.json +++ b/.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", diff --git a/Concurrent Systems/notes/13 - Weak Bisimilarity.md b/Concurrent Systems/notes/13 - Weak Bisimilarity.md index 8489dea..d90616e 100644 --- a/Concurrent Systems/notes/13 - Weak Bisimilarity.md +++ b/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* +