Skip to Main content Skip to Navigation
New interface
Conference papers

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.
Complete list of metadata

Cited literature [14 references]  Display  Hide  Download
Contributor : Ivan Lanese Connect in order to contact the contributor
Submitted on : Wednesday, November 11, 2015 - 10:42:16 PM
Last modification on : Monday, February 7, 2022 - 4:06:03 PM
Long-term archiving on: : Friday, April 28, 2017 - 5:24:30 AM


Files produced by the author(s)


  • 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⟩



Record views


Files downloads