marcorealacci/master-degree-notes
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

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

Browse source
This commit is contained in:
Marco Realacci 2025-04-14 16:10:00 +02:00
parent 13c49e9eee
commit 98ff6f91e8
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -29,7 +29,8 @@ _{n})\space|\space P|Q \space | \space P\setminus a$$
Dove: Dove:
- **$\alpha _{i}.P_{i}$:** the process $P_{i}$ can perform the action $a$ and continue as the process $P_{i}$ - **$\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 - $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) ![](images/Pasted%20image%2020250414104010.png)