Retractable Contracts

Franco Barbanera
(Dipartimento di Matematica e Informatica, University of Catania)
Mariangiola Dezani-Ciancaglini
(Dipartimento di Informatica, University of Torino)
Ivan Lanese
(Dipartimento di Informatica - Scienza e Ingegneria, University of Bologna/INRIA)
Ugo de'Liguoro
(Dipartimento di Informatica, University of Torino)

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.

In Simon Gay and Jade Alglave: Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software (PLACES 2015), London, UK, 18th April 2015, Electronic Proceedings in Theoretical Computer Science 203, pp. 61–72.
Published: 10th February 2016.

ArXived at: bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to:
For website issues: