Skip to Main content Skip to Navigation
Conference papers

Relating Session Types and Behavioural Contracts: the Asynchronous Case

Mario Bravetti 1, 2 Gianluigi Zavattaro 1, 2 
2 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Abstract : We discuss the relationship between session types and be-havioural 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [29 references]  Display  Hide  Download
Contributor : Mario Bravetti Connect in order to contact the contributor
Submitted on : Friday, November 29, 2019 - 5:46:06 PM
Last modification on : Wednesday, February 2, 2022 - 3:56:14 PM


Files produced by the author(s)


  • HAL Id : hal-02387456, version 1



Mario Bravetti, Gianluigi Zavattaro. Relating Session Types and Behavioural Contracts: the Asynchronous Case. SEFM 2019 - 17th International Conference on Software Engineering and Formal Methods, Sep 2019, Oslo, Norway. ⟨hal-02387456⟩



Record views


Files downloads