From 251a45b9ae23632ebe2dc5d08a942937d9fa3cbd Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Mon, 14 Apr 2025 17:25:00 +0200 Subject: [PATCH] vault backup: 2025-04-14 17:25:00 --- .../notes/12 - CCS (che non so cosa voglia dire).md | 6 +++++- 1 file changed, 5 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 f0384c5..d61dbf6 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 @@ -138,4 +138,8 @@ $$\frac{B' \xrightarrow{\bar{c}} B}{A \mid B' \xrightarrow{\bar{c}} A \mid B}$$ ✅ **Third transition:** $$A \mid B' \xrightarrow{\bar{c}} A \mid B$$ ##### Synchronization -I \ No newline at end of file +In the image above, we can observe a τ-transition due to synchronization between two complementary actions, in fact: +- A' produces b and becomes A +- B consumes b and becomes B' + +Since $$ \ No newline at end of file