From 0d62ef32a2f1af8041279135d6ff95830064fef4 Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Wed, 30 Apr 2025 18:58:22 +0200 Subject: [PATCH] vault backup: 2025-04-30 18:58:22 --- .obsidian/workspace.json | 8 ++++---- ...d => 14 Checking bisimilarity, an inference system.md} | 0 2 files changed, 4 insertions(+), 4 deletions(-) rename Concurrent Systems/notes/{14.md => 14 Checking bisimilarity, an inference system.md} (100%) diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index 4769ae7..dadebbb 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -13,12 +13,12 @@ "state": { "type": "markdown", "state": { - "file": "Concurrent Systems/notes/13 - Weak Bisimilarity.md", + "file": "Concurrent Systems/notes/14 Checking bisimilarity, an inference system.md", "mode": "source", "source": false }, "icon": "lucide-file", - "title": "13 - Weak Bisimilarity" + "title": "14 Checking bisimilarity, an inference system" } } ] @@ -192,11 +192,11 @@ }, "active": "ec8d1a91f1f0cc7e", "lastOpenFiles": [ - "Concurrent Systems/notes/14.md", + "Concurrent Systems/notes/13 - Weak Bisimilarity.md", + "Concurrent Systems/notes/14 Checking bisimilarity, an inference system.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", diff --git a/Concurrent Systems/notes/14.md b/Concurrent Systems/notes/14 Checking bisimilarity, an inference system.md similarity index 100% rename from Concurrent Systems/notes/14.md rename to Concurrent Systems/notes/14 Checking bisimilarity, an inference system.md