9 March - 15 March
Section outline
-
-
-
- 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]
-
-