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

https://hal.inria.fr/hal-02387456
Contributor : Mario Bravetti <>
Submitted on : Friday, November 29, 2019 - 5:46:06 PM
Last modification on : Friday, October 30, 2020 - 12:04:04 PM

File

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02387456, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

99

Files downloads

332