From 98ff6f91e83a2f48ded8a478ed03e518f91ead63 Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Mon, 14 Apr 2025 16:10:00 +0200 Subject: [PATCH] vault backup: 2025-04-14 16:10:00 --- .../notes/12 - CCS (che non so cosa voglia dire).md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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)