20 aprile - 26 aprile
Schema della sezione
-
Settimana corrente
-
-
Verifying properties with the Edimburgh CWB: mutual exclusion, fairness, liveness, deadlock freedom, etc.
[CWB examples]
-
-
-
- Pi-calculus
- From modelling to programming languages [slides]
-
-