From 493d36cf07ecd9f47898933be01a4d155ecb120e Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Mon, 14 Apr 2025 08:34:56 +0200 Subject: [PATCH] vault backup: 2025-04-14 08:34:56 --- Concurrent Systems/notes/11 - LTSs and Bisimulation.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Concurrent Systems/notes/11 - LTSs and Bisimulation.md b/Concurrent Systems/notes/11 - LTSs and Bisimulation.md index 6c60605..24c624b 100644 --- a/Concurrent Systems/notes/11 - LTSs and Bisimulation.md +++ b/Concurrent Systems/notes/11 - LTSs and Bisimulation.md @@ -60,4 +60,4 @@ If S contained one among (p1,q1) or (p1,q2), then it would not be a simulation: p0 is simulated by q0: $$S = {(p0, q0), (p1, q2), (p2, q3)}$$ q0 is simulated by p0: $$S′ ={(q0,p0),(q1,p1),(q2,p1),(q3,p2)}$$ -However, p0 and q0 are not bisimilar: the transition q0 -> a -> q1 is not bisimulable by any transition from p0 \ No newline at end of file +However, p0 and q0 are not bisimilar: the transition q0 -> a -> q1 is not bisimulable by any transition from p0 (ndeed, p0 –a–> p1 does not suffice, because p1 can perform a b and so cannot be bisimilar to q1). \ No newline at end of file