23 March - 29 March
Section outline
-
-
-
Weak bisimilarity: definition [RSBook 3.4]
-
-
-
Weak bisimilarity: properties [RSBook 3.4]
Assignment:
Exercises 3.27, 3.28, 3.29 in [RSBook]
-
-