Retractable Contracts

Abstract : In calculi for modelling communication protocols, internal and external choices play dual roles. Two external choices can be viewed naturally as dual too, as they represent an agreement between the communicating parties. If the interaction fails, the past agreements are good candidates as points where to roll back, in order to take a different agreement. We propose a variant of contracts with synchronous rollbacks to agreement points in case of deadlock. The new calculus is equipped with a compliance relation which is shown to be decidable.
Type de document :
Communication dans un congrès
Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, Apr 2015, London, United Kingdom. 2015, Electronic Proceedings in Theoretical Computer Science
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01227693
Contributeur : Ivan Lanese <>
Soumis le : mercredi 11 novembre 2015 - 22:42:16
Dernière modification le : samedi 27 janvier 2018 - 01:31:37
Document(s) archivé(s) le : vendredi 28 avril 2017 - 05:24:30

Fichier

bdll.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01227693, version 1

Collections

Citation

Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese, Ugo De 'Liguoro. Retractable Contracts. Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, Apr 2015, London, United Kingdom. 2015, Electronic Proceedings in Theoretical Computer Science. 〈hal-01227693〉

Partager

Métriques

Consultations de la notice

118

Téléchargements de fichiers

51