Relating Session Types and Behavioural Contracts: the Asynchronous Case - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Relating Session Types and Behavioural Contracts: the Asynchronous Case

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-02387456 , version 1

Citer

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 Consultations
127 Téléchargements

Partager

Gmail Facebook X LinkedIn More