Concurrent Reversible Sessions - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Concurrent Reversible Sessions

Concurrent Reversible Sessions *

Résumé

We present a calculus for concurrent reversible multiparty sessions, which improves on recent proposals in several respects: it allows for concurrent and sequential composition within processes and types, it gives a compact representation of the past of processes and types, which facilitates the definition of rollback, and it implements a fine-tuned strategy for backward computation. We propose a refined session type system for our calculus and show that it enforces the expected properties of session fidelity, forward and backward progress, as well as causal consistency. In conclusion, our calculus is a conservative extension of previous proposals, offering enhanced expressive power and refined analysis techniques.
Fichier principal
Vignette du fichier
LIPIcs-CONCUR-2017-30.pdf (769.37 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01639845 , version 1 (28-11-2017)

Licence

Paternité

Identifiants

Citer

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini. Concurrent Reversible Sessions. CONCUR 2017 - 28th International Conference on Concurrency Theory, Roland Meyer; Uwe Nestmann, Sep 2017, Berlin, Germany. pp.1-17, ⟨10.4230/LIPIcs.CONCUR.2017.30⟩. ⟨hal-01639845⟩
249 Consultations
57 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More