Esercizi
N.B.
: Il minor numero di esercizi per alcuni argomenti non e' dovuto alla minor rilevanza, all'interno del corso, degli argomenti stessi.
λ-calculus, Functional Programming and Haskell
Actors Model and ERLANG
Pi-calculus and PICT
Binary Session Types and SePi
Communicating Finite State Machines
Scribble
Model Checking
