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

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

@@ -28,7 +28,7 @@ $$P::=\sum_{i \in I} \alpha _{i}.P_{i} \space |\space A(a_{1}\dots a
 _{n})\space|\space P|Q \space | \space P\setminus a$$
 Dove:
 - **$\alpha _{i}.P_{i}$:** the process $P_{i}$ can perform the action $a$ and continue as the process $P_{i}$
-- $A {\triangle \atop =} P$
+- $A(a_{1}\dots a_{n})$ parametric call to a process
 ![](images/Pasted%20image%2020250414103800.png)
 
 ![](images/Pasted%20image%2020250414104010.png)