A Game Interpretation of Retractable Contracts

Abstract : In the setting of contract theory, retractable contracts have been defined to formalize binary session protocols where the partners can go back to certain particular synchronization points when the session gets stuck, looking for a successful state, if any.In the present paper we propose a three-party game-theoretic interpretation of client/server systems of retractable contracts. In particular, we show that a client is retractable-compliant with a server if and only if there exists a winning strategy for a particular player in a game-theoretic model of contracts. Such a player can be looked at as a mediator, driving the choices in the retractable points. We show that winning strategies for the mediator player correspond to orchestrators in a system of orchestrated client/server sessions, and vice versa.
Type de document :
Communication dans un congrès
Alberto Lluch Lafuente; José Proença. 18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. Springer International Publishing, Lecture Notes in Computer Science, LNCS-9686, pp.18-34, 2016, Coordination Models and Languages. 〈10.1007/978-3-319-39519-7_2〉
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01631714
Contributeur : Hal Ifip <>
Soumis le : jeudi 9 novembre 2017 - 16:13:41
Dernière modification le : jeudi 9 novembre 2017 - 16:15:57
Document(s) archivé(s) le : samedi 10 février 2018 - 14:02:02

Fichier

 Accès restreint
Fichier visible le : 2019-01-01

Connectez-vous pour demander l'accès au fichier

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Franco Barbanera, Ugo Liguoro. A Game Interpretation of Retractable Contracts. Alberto Lluch Lafuente; José Proença. 18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. Springer International Publishing, Lecture Notes in Computer Science, LNCS-9686, pp.18-34, 2016, Coordination Models and Languages. 〈10.1007/978-3-319-39519-7_2〉. 〈hal-01631714〉

Partager

Métriques

Consultations de la notice

9