Formalizzazione dei Sistemi Distribuiti Mirko Viroli DEIS - Università degli Studi di Bologna [email protected].