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*