View in EDS PDF Full Text

Observational Equivalence for Multiparty Sessions.

Saved in:
Bibliographic Details
Title: Observational Equivalence for Multiparty Sessions.
Authors: Severi, Paula1, ps396@leicester.ac.uk, Dezani-Ciancaglini, Mariangiola2, dezani@di.unito.it, Altenkirch, Thorsten, Schubert, Aleksy
Source: Fundamenta Informaticae; 2019, Vol. 170 Issue 1-3, p267-305, 39p
Database: Applied Science & Technology Source
Description
ISSN:01692968
DOI:10.3233/FI-2019-1863