Liberato, Alessandro (2019) A Study on Bisimulation Equivalence and Team Equivalence. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270], Documento ad accesso riservato.