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)
TL;DR
This paper introduces a new calculus for communication protocols that incorporates synchronous rollbacks at agreement points, enhancing deadlock handling and ensuring decidable compliance relations.
Contribution
It proposes a novel variant of contracts with rollback capabilities and demonstrates that the compliance relation remains decidable.
Findings
The calculus supports synchronous rollbacks at agreement points.
Decidability of the compliance relation is established.
Enhances deadlock recovery in communication protocol models.
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsEuropean and International Contract Law