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

Concurrent Systems/notes/12 - CCS (che non so cosa voglia dire).md

@@ -123,23 +123,15 @@ From this, we can do:
 
 These actions **complement each other**, so we can apply the **synchronization rule**:
 
-A′→bˉAB→bB′A′∣B→τA∣B′\frac{A' \xrightarrow{\bar{b}} A \quad B \xrightarrow{b} B'}{A' \mid B \xrightarrow{\tau} A \mid B'}
+$$\frac{A' \xrightarrow{\bar{b}} A \quad B \xrightarrow{b} B'}{A' \mid B \xrightarrow{\tau} A \mid B'}$$
 
 ✅ **Second transition:**
+$$A' \mid B \xrightarrow{\tau} A \mid B'$$
 
-A′∣B→τA∣B′A' \mid B \xrightarrow{\tau} A \mid B'
-
----
-
-## ▶️ Step 3: Transition from B'
-
+##### ▶️ Step 3: Transition from B'
 From the definition:
-
-- B′≜cˉ.BB' \triangleq \bar{c}.B  
-    So:
-    
-
-B′→cˉBB' \xrightarrow{\bar{c}} B
+- $BB' \triangleq \bar{c}.B$
+	- So: B′→cˉBB' \xrightarrow{\bar{c}} B
 
 Now use the **right parallel rule**: