From 96a62435d8fa8338050967ff00e18d1fa98abb35 Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Mon, 28 Apr 2025 09:38:51 +0200 Subject: [PATCH] vault backup: 2025-04-28 09:38:51 --- Concurrent Systems/notes/13 - Weak Bisimilarity.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Concurrent Systems/notes/13 - Weak Bisimilarity.md b/Concurrent Systems/notes/13 - Weak Bisimilarity.md index 7a51762..8489dea 100644 --- a/Concurrent Systems/notes/13 - Weak Bisimilarity.md +++ b/Concurrent Systems/notes/13 - Weak Bisimilarity.md @@ -93,4 +93,5 @@ This is a family of relations: 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. +Thus, R is actually made up of 1+6+2+2+9+6+6+2 = 34 pairs. + *exercise: write down the LTSs*