From 3f56967d75c1066acb6acd5a92ce734a98ab5337 Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Mon, 14 Apr 2025 15:40:00 +0200 Subject: [PATCH] vault backup: 2025-04-14 15:40:00 --- .obsidian/workspace.json | 2 +- .../notes/12 - CCS (che non so cosa voglia dire).md | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index 96881aa..e289820 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -237,7 +237,7 @@ "companion:Toggle completion": false } }, - "active": "954699747dc12b5e", + "active": "fbeaa35cc5a8abf1", "lastOpenFiles": [ "Concurrent Systems/slides/class 12.pdf", "Concurrent Systems/notes/12 - CCS (che non so cosa voglia dire).md", 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 dce84dc..584b1cc 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 @@ -8,9 +8,9 @@ - Producer/consumer paradigm Given a set of names N (that denote events) -- a (∈ N) denotes consumption of event a -- $\bar{a}$ (for a ∈ N) denotes production of event a -- a and $\bar{a}$ are complementary actions: they let two parallel processes synchronize on the event a +- $a (\in N)$ denotes consumption of event a +- $\bar{a}$ (for $a \in N$) denotes production of event a +- $a$ and $\bar{a}$ are complementary actions: they let two parallel processes synchronize on the event a 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 τ