9 marzo - 15 marzo
Schema della sezione
-
-
-
- Value passing CCS [RSBook 2.2.3]
- Exercise (Buffer)
Solve the exercise at the following link.
- Value passing CCS [RSBook 2.2.3]
-
-
-
- (Strong) Bisimilarity [RSBook 3.3]
-
-