Relating Session Types and Behavioural Contracts: the Asynchronous Case - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year :

Relating Session Types and Behavioural Contracts: the Asynchronous Case

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.
Fichier principal
Vignette du fichier
main.pdf (414.6 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02387456 , version 1 (29-11-2019)

Identifiers

  • HAL Id : hal-02387456 , version 1

Cite

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⟩
53 View
101 Download

Share

Gmail Facebook Twitter LinkedIn More