LANGUAGES FOR CONCURRENCY AND DISTRIBUTION 2025-2026 - SCQ1098228
Schema della sezione
-
For a general description of the course unit and of the corresponding exam, consult the course web page.
This moodle will contain the course diary, additional material and other "dynamic" information. In the description of the topics, RSBook identifies the recommended text "Reactive Systems", Aceto, Ingolfsdottir, Larsen, Srba, that covers the first part of the course.
Lessons will be delivered in person in room 1BC50 (Torre Archimede). They will start on Monday Feb 23.
-
-
-
Introduction to the course [RSBook Chap. 1]
-
-
-
The language CCS, informally [RSBook Section 2.1]
-
-