From 110715c40658f34dfaaa3babedcf43fb57f913df Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Fri, 2 May 2025 16:41:14 +0200 Subject: [PATCH] vault backup: 2025-05-02 16:41:14 --- .obsidian/workspace.json | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index 7aa8456..240b2ce 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -192,13 +192,16 @@ }, "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/10 - Implementing Consensus.md", + "Concurrent Systems/notes/7- MUTEX-free concurrency.md", + "Concurrent Systems/notes/9 - Consensus.md", + "Concurrent Systems/notes/8 - Enhancing Liveness Properties.md", + "Concurrent Systems/notes/11 - LTSs and Bisimulation.md", + "Concurrent Systems/notes/13 - Weak Bisimilarity.md", "Concurrent Systems/notes/14 Checking bisimilarity, an inference system.md", "Pasted image 20250430192526.png", - "Concurrent Systems/notes/10 - Implementing Consensus.md", "Pasted image 20250430183304.png", "Pasted image 20250430175412.png", "Pasted image 20250430171336.png", @@ -228,9 +231,6 @@ "Concurrent Systems/notes/2b - Round Robin algorithm.md", "\u0001.md", "Concurrent Systems/a.md", - "Concurrent Systems/notes/9 - Consensus.md", - "Concurrent Systems/notes/8 - Enhancing Liveness Properties.md", - "Concurrent Systems/notes/7- MUTEX-free concurrency.md", "Concurrent Systems/notes/6 - Atomicity.md", "Concurrent Systems/notes/3a - Hardware primitives & Lamport Bakery algorithm.md", "Concurrent Systems/notes/1 - CS Basics.md",