Retractable Contracts - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2015

Retractable Contracts


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

Dates and versions

hal-01227693 , version 1 (11-11-2015)


  • HAL Id : hal-01227693 , version 1


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. ⟨hal-01227693⟩
117 View
30 Download


Gmail Facebook X LinkedIn More