Mastandrea, Vincenzo (2014) Deadlock analysis of asynchronous sequential processes. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]