Progetto di programmazione concorrente e distribuita UNIPD 2014