Concurrent Reversible Sessions

Abstract : 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.
Type de document :
Communication dans un congrès
CONCUR 2017 - 28th International Conference on Concurrency Theory , Sep 2017, Berlin, Germany. Leibniz International Proceedings in Informatics (LIPIcs), 85, pp.1-17, CONCUR 2017. 〈10.4230/LIPIcs.CONCUR.2017.30〉
Liste complète des métadonnées

Littérature citée [38 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01639845
Contributeur : Ilaria Castellani <>
Soumis le : mardi 28 novembre 2017 - 16:40:46
Dernière modification le : jeudi 11 janvier 2018 - 16:18:59

Fichier

LIPIcs-CONCUR-2017-30.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Collections

Citation

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini. Concurrent Reversible Sessions. CONCUR 2017 - 28th International Conference on Concurrency Theory , Sep 2017, Berlin, Germany. Leibniz International Proceedings in Informatics (LIPIcs), 85, pp.1-17, CONCUR 2017. 〈10.4230/LIPIcs.CONCUR.2017.30〉. 〈hal-01639845〉

Partager

Métriques

Consultations de la notice

33

Téléchargements de fichiers

5