diff --git a/Concurrent Systems/notes/13 - Weak Bisimilarity.md b/Concurrent Systems/notes/13 - Weak Bisimilarity.md index 0936221..20ac799 100644 --- a/Concurrent Systems/notes/13 - Weak Bisimilarity.md +++ b/Concurrent Systems/notes/13 - Weak Bisimilarity.md @@ -109,3 +109,4 @@ Every component can be in three states: - A (waiting for being habilitated to extraction) - B (habilitated, with the possibility of being extracted or of habilitating the next component) - C (extracted, waiting to externally communicate its value and start the process again): $$A_{i}=a_{i}.B_{i} \quad B_{i}=\tau.C_{i}+\bar{a}_{(i \space mod \space n)+1}.A_{i} \quad C_{i}=\bar{p}_{i}.B_{i}$$ +In pratica ogni volta o estrae di nuovo "se stesso" oppure "abilita" il componente successivo. \ No newline at end of file