CRIS Current Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishWe discuss the relationship between session types and behavioural contracts under the assumption that processes communicate asynchronously. We show the existence of a fully abstract interpretation of session types into a fragment of contracts, that maps session subtyping into binary compliance-preserving contract refinement. In this way, the recent undecidability result for asynchronous session subtyping can be used to obtain an original undecidability result for asynchronous contract refinement.
| Titolo: | Relating Session Types and Behavioural Contracts: The Asynchronous Case | |
| Autore/i: | Bravetti M.; Zavattaro G. | |
| Autore/i Unibo: | ||
| Anno: | 2019 | |
| Serie: | ||
| Titolo del libro: | Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings | |
| Pagina iniziale: | 29 | |
| Pagina finale: | 47 | |
| Digital Object Identifier (DOI): | http://dx.doi.org/10.1007/978-3-030-30446-1_2 | |
| Abstract: | We discuss the relationship between session types and behavioural contracts under the assumption that processes communicate asynchronously. We show the existence of a fully abstract interpretation of session types into a fragment of contracts, that maps session subtyping into binary compliance-preserving contract refinement. In this way, the recent undecidability result for asynchronous session subtyping can be used to obtain an original undecidability result for asynchronous contract refinement. | |
| Data stato definitivo: | 19-feb-2020 | |
| Appare nelle tipologie: | 4.01 Contributo in Atti di convegno |
File in questo prodotto:
| File | Descrizione | Tipo | Licenza | |
|---|---|---|---|---|
| Relating_BravettiZavattaro.pdf | Postprint | Licenza per accesso libero gratuito | Open Access Visualizza/Apri |
http://hdl.handle.net/11585/716806
Copyright © 2022