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 ef10813..289ab2d 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 @@ -29,7 +29,8 @@ _{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(a_{1}\dots a_{n})$ parametric call to a process -![](images/Pasted%20image%2020250414103800.png) +- $P|Q$ parallel composition: P and Q are in a concurrent execution and can communicate to each-other + - $P\setminus a$ as described before, is the process P without $a$ (the action is hidden / ) ![](images/Pasted%20image%2020250414104010.png)