vault backup: 2025-04-14 17:25:00

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
+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 $$