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 832f553..ef10813 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 @@ -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)