Morara, Massimo (2011) Una semantica distribuita per il Multi-CCS utilizzando reti di Petri. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]