Observational Equivalence for Multiparty Sessions. - Severi, Paula; Dezani-Ciancaglini, Mariangiola; Altenkirch, Thorsten; Schubert, Aleksy (Fundamenta Informaticae, 2019)