From 985965ea851e879edb5aaa6c701f894c238ceed8 Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Wed, 30 Apr 2025 18:48:22 +0200 Subject: [PATCH] vault backup: 2025-04-30 18:48:22 --- Concurrent Systems/notes/13 - Weak Bisimilarity.md | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/Concurrent Systems/notes/13 - Weak Bisimilarity.md b/Concurrent Systems/notes/13 - Weak Bisimilarity.md index c668674..266dd31 100644 --- a/Concurrent Systems/notes/13 - Weak Bisimilarity.md +++ b/Concurrent Systems/notes/13 - Weak Bisimilarity.md @@ -155,4 +155,7 @@ No (ci sono rimasto male anche io). Ma il fatto è che questo porta a questo LTS: ![](../../Pasted%20image%2020250430183304.png) -Il gioco (infamata incredibile comunque) sta nel fatto che con la restrizione per c1...cn (c1) \ No newline at end of file +Il gioco (infamata incredibile comunque) sta nel fatto che con la restrizione per $\{ c_{1},c_{2} \}$, $B_{2}$ non può evolvere in $C_2$ da solo, potrebbe farlo solo con una sincronizzazione! Che non c'è... + +Fix: $$C_{i}=b_{i}.D_{i}+c_{i}.b_{i}.A_{i}$$ +in questo modo possiamo permettere al processo di ricevere $c_{i}$ anche nello stato $C$, permettendo la sincronizzazione. In ogni caso tanto resterà in esecuzione finché non riceverà $b_i$. \ No newline at end of file