From 4116b92b5b053ae144941fe088b2b05c541b4487 Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Sun, 27 Apr 2025 22:55:45 +0200 Subject: [PATCH] vault backup: 2025-04-27 22:55:45 --- Concurrent Systems/notes/12b - CCS cose varie.md | 1 + 1 file changed, 1 insertion(+) diff --git a/Concurrent Systems/notes/12b - CCS cose varie.md b/Concurrent Systems/notes/12b - CCS cose varie.md index 03f0efa..1120388 100644 --- a/Concurrent Systems/notes/12b - CCS cose varie.md +++ b/Concurrent Systems/notes/12b - CCS cose varie.md @@ -39,6 +39,7 @@ NO: the problem is that, for example: So we can try with $$S = \{ (α.P+α.P+M , α.P+M) \} ∪ \{(P,P)\}$$ But it is not yet a bisimulation. P –β–> P’ (challenge and reply), but we don't have (P', P') in S. +(Questo per garantire che funzioni in qualsiasi caso, con qualsiasi P che eventualmente evolve in P') So let's try with: $$S = \{ (α.P+α.P+M , α.P+M) \} ∪ Id$$ Let's go!