Observational Equivalence for Multiparty Sessions
Severi, Paula, Dezani-Ciancaglini, Mariangiola, Altenkirch, Thorsten, Schubert, AleksyVolume:
170
Journal:
Fundamenta Informaticae
DOI:
10.3233/fi-2019-1863
Date:
October, 2019
File:
PDF, 363 KB
2019