23 mars - 29 mars
Résumé de section
-
-
-
Weak bisimilarity: definition [RSBook 3.4]
-
-
-
Weak bisimilarity: properties [RSBook 3.4]
Assignment:
Exercises 3.27, 3.28, 3.29 in [RSBook]
-
-