From 3c146e6cef07c2120ce7a940d98d7f56b65b12b2 Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Mon, 14 Apr 2025 18:21:53 +0200 Subject: [PATCH] vault backup: 2025-04-14 18:21:53 --- .obsidian/workspace.json | 3 +-- .../notes/12 - Calculus of communicating system.md | 11 ----------- 2 files changed, 1 insertion(+), 13 deletions(-) diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index 1455b79..4a51fc7 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -174,8 +174,7 @@ } ], "direction": "horizontal", - "width": 364.5, - "collapsed": true + "width": 364.5 }, "left-ribbon": { "hiddenItems": { diff --git a/Concurrent Systems/notes/12 - Calculus of communicating system.md b/Concurrent Systems/notes/12 - Calculus of communicating system.md index 40b0592..fe7ab58 100644 --- a/Concurrent Systems/notes/12 - Calculus of communicating system.md +++ b/Concurrent Systems/notes/12 - Calculus of communicating system.md @@ -81,17 +81,6 @@ $$\frac{P_1 \xrightarrow{a} P_1' \quad P_2 \xrightarrow{\bar{a}} P_2'}{P_1 \mid ![](images/Pasted%20image%2020250414104010.png) -fino alla 7 compresa... - -Sure Marco! Let's go step-by-step through the **CCS process transition example** in the figure, using: - -- **Markdown for explanations** - -- **LaTeX in Obsidian format** (with `$$...$$`) for math - - ---- - #### Example ![](images/Pasted%20image%2020250414164549.png)