From 9c4f8bc7aa94c35c47e5e1f720eea755dab96132 Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Tue, 15 Apr 2025 08:55:18 +0200 Subject: [PATCH] vault backup: 2025-04-15 08:55:18 --- Concurrent Systems/notes/13 - CCS cose varie.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Concurrent Systems/notes/13 - CCS cose varie.md b/Concurrent Systems/notes/13 - CCS cose varie.md index bddaeac..6685529 100644 --- a/Concurrent Systems/notes/13 - CCS cose varie.md +++ b/Concurrent Systems/notes/13 - CCS cose varie.md @@ -37,7 +37,7 @@ NO: the problem is that, for example: - BUT (P,P) in general does NOT belong to S! So we can try with $$S = \{ (α.P+α.P+M , α.P+M) \} ∪ \{(P,P)\}$$ -But it is not yet a bisimulation. +But it is not yet a bisimulation. P –β–> P’ (challenge and reply), but we don't have (P', P') in S. So let's try with: $$S = \{ (α.P+α.P+M , α.P+M) \} ∪ Id$$