30 marzo - 5 aprile
Schema della sezione
-
-
-
- Fixed point theory [RSBook 4.1, 4.2, limited to powerset lattices]
- Bisimilarity as a fixpoint [RSBook 4.3]
-
-
-
Hennessy-Milner logic [RSBook 5, 5.1]
-
-
-
Logic with recursion: introduction, example of properties, syntax and semantics [RSBook 6, 6.1]
-
-