From a3d95165429508f8197f0088381ff46c7b1550f4 Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Mon, 14 Apr 2025 15:45:00 +0200 Subject: [PATCH] vault backup: 2025-04-14 15:45:00 --- .obsidian/workspace.json | 6 +++--- .../notes/12 - CCS (che non so cosa voglia dire).md | 3 +-- 2 files changed, 4 insertions(+), 5 deletions(-) diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index e289820..efcaf3b 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -120,12 +120,12 @@ "title": "Segnalibri" } } - ], - "currentTab": 1 + ] } ], "direction": "horizontal", - "width": 309.5 + "width": 309.5, + "collapsed": true }, "right": { "id": "bc4b945ded1926e3", diff --git a/Concurrent Systems/notes/12 - CCS (che non so cosa voglia dire).md b/Concurrent Systems/notes/12 - CCS (che non so cosa voglia dire).md index 584b1cc..994526c 100644 --- a/Concurrent Systems/notes/12 - CCS (che non so cosa voglia dire).md +++ b/Concurrent Systems/notes/12 - CCS (che non so cosa voglia dire).md @@ -14,8 +14,7 @@ Given a set of names N (that denote events) When two processes synchronize, an external observer has no way of understanding what is happening in the system - synchronization is not observable from the outside; it produces a special ‘silent’ action, that we denote with τ - -The set of actions we shall consider is: ![150](images/Pasted%20image%2020250414102733.png) +The set of actions we shall consider is: $N \cup \bar{N} \cup \{\tau\}$ It is also useful to force some processes of the system to synchronize between them (without the possibility of showing to the outside some actions)