Università degli studi di Milano - Bicocca
Dipartimento di Informatica, Sistemistica e Comunicazione (DISCO)
Models of Concurrency,Communication and Computation