23 marzo - 29 marzo
Schema della sezione
-
-
-
Weak bisimilarity: definition [RSBook 3.4]
-
-
-
Weak bisimilarity: properties [RSBook 3.4]
Assignment:
Exercises 3.27, 3.28, 3.29 in [RSBook]
-
-