From 1691756855c23c9021e993133971aac6a656787e Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Fri, 2 May 2025 16:26:14 +0200 Subject: [PATCH] vault backup: 2025-05-02 16:26:14 --- .obsidian/workspace.json | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index 11cf2a2..7aa8456 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/14 Checking bisimilarity, an inference system.md", "mode": "source", "source": false }, "icon": "lucide-file", - "title": "11 - LTSs and Bisimulation" + "title": "14 Checking bisimilarity, an inference system" } } ] @@ -193,9 +193,9 @@ "active": "ec8d1a91f1f0cc7e", "lastOpenFiles": [ "Concurrent Systems/notes/13 - Weak Bisimilarity.md", + "Concurrent Systems/notes/11 - LTSs and Bisimulation.md", "Concurrent Systems/notes/12b - CCS cose varie.md", "Concurrent Systems/notes/12 - Calculus of communicating system.md", - "Concurrent Systems/notes/11 - LTSs and Bisimulation.md", "Concurrent Systems/notes/14 Checking bisimilarity, an inference system.md", "Pasted image 20250430192526.png", "Concurrent Systems/notes/10 - Implementing Consensus.md",