23 February - 1 March
Section outline
-
-
-
Introduction to the course [RSBook Chap. 1]
-
-
-
The language CCS, informally [RSBook Section 2.1]
-
-