From b7f138343635b9f35f339d74c57e765577cfdf98 Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Mon, 14 Apr 2025 17:30:00 +0200 Subject: [PATCH] vault backup: 2025-04-14 17:30:00 --- .../notes/12 - CCS (che non so cosa voglia dire).md | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) 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 d61dbf6..8809af1 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 @@ -142,4 +142,14 @@ In the image above, we can observe a τ-transition due to synchronization betwee - A' produces b and becomes A - B consumes b and becomes B' -Since $$ \ No newline at end of file +Since $\bar{b}$ and $b$ are complementary actions, they can **synchronize**, resulting in a **silent action** $\tau$ (synchronization rule): +$$\frac{A' \xrightarrow{\bar{b}} A \quad B \xrightarrow{b} B'}{A' \mid B \xrightarrow{\tau} A \mid B'}$$ + +### LTS and parallelism +In the construction of the LTS we loose the consciousness of the parallel +- it is indeed possible, by having the new set of actions, to obtain the previous LTS through the syntax we considered last class. + +The usefulness of the parallel is two-fold: +- it is the fundamental operator in concurrency theory +- it allows for a compact and intuitive writing of processes. +