From 0088cfa8025b1ae9b46964753cc366600ca6394b Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Wed, 30 Apr 2025 16:58:10 +0200 Subject: [PATCH] vault backup: 2025-04-30 16:58:10 --- Concurrent Systems/notes/13 - Weak Bisimilarity.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Concurrent Systems/notes/13 - Weak Bisimilarity.md b/Concurrent Systems/notes/13 - Weak Bisimilarity.md index 70d5d1b..ae60fc9 100644 --- a/Concurrent Systems/notes/13 - Weak Bisimilarity.md +++ b/Concurrent Systems/notes/13 - Weak Bisimilarity.md @@ -91,7 +91,7 @@ This is a family of relations: - 3 pairs of the sixth form - 3 pairs of the seventh form -Furthermore, we should also consider commutativity of parallel in pairs of the second, third, fourth, sixth, seventh and eighth form. +Furthermore, **we should also consider commutativity** of parallel in pairs of the second, third, fourth, sixth, seventh and eighth form. Thus, R is actually made up of 1+6+2+2+9+6+6+2 = 34 pairs. *exercise: write down the LTSs*