Signati, Teresa ; Signati, Teresa (2021) Session types for asynchronous communication: a new subtyping and its implementation. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]