From 211d6e3e883eb6b49a6ae8357802ce7d7bcf8167 Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Mon, 14 Apr 2025 17:20:00 +0200 Subject: [PATCH] vault backup: 2025-04-14 17:20:00 --- .../12 - CCS (che non so cosa voglia dire).md | 19 ++----------------- 1 file changed, 2 insertions(+), 17 deletions(-) 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 48f1efc..f0384c5 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 @@ -137,20 +137,5 @@ Now use the **right parallel rule**: $$\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$$ - -## 🔄 Full Transition Path - -Putting it all together, the full trace is: - -1. A∣B→aA′∣BA \mid B \xrightarrow{a} A' \mid B - -2. A′∣B→τA∣B′A' \mid B \xrightarrow{\tau} A \mid B' - -3. A∣B′→cˉA∣BA \mid B' \xrightarrow{\bar{c}} A \mid B - - -So the system loops back to the starting state! - ---- - -Let me know if you want a **state diagram in LaTeX (TikZ)** for this or a different trace involving `B'` and `A'` again! \ No newline at end of file +##### Synchronization +I \ No newline at end of file