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

Retractable and Speculative Contracts


Behavioral contracts are abstract descriptions of the communications that clients and servers perform. Behavioral contracts come naturally equipped with a notion of compliance: when a client and a server follow compliant contracts, their interaction is guaranteed to progress or successfully complete. We study two extensions of contracts, dealing respectively with backtracking and with speculative execution. We show that the two extensions give rise to the same notion of compliance. As a consequence, they also give rise to the same subcontract relation, which determines when one server can be replaced by another preserving compliance. Moreover, compliance and subcontract relation are both decidable in polynomial time.
Fichier principal
Vignette du fichier
mainCOORD.pdf (484.9 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01633262 , version 1 (12-11-2017)



Franco Barbanera, Ivan Lanese, Ugo de 'Liguoro. Retractable and Speculative Contracts. 19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.119-137, ⟨10.1007/978-3-319-59746-1_7⟩. ⟨hal-01633262⟩
110 View
116 Download



Gmail Facebook X LinkedIn More