From b36b60296c53c9e3e951b8cad4dce39fdc48b607 Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Mon, 28 Apr 2025 18:06:27 +0200 Subject: [PATCH] vault backup: 2025-04-28 18:06:27 --- Concurrent Systems/notes/13 - Weak Bisimilarity.md | 1 + 1 file changed, 1 insertion(+) 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