%0 Conference Proceedings
%T A Game Interpretation of Retractable Contracts
%+ Università degli studi di Catania = University of Catania (Unict)
%+ Università degli studi di Torino = University of Turin (UNITO)
%A Barbanera, Franco
%A Liguoro, Ugo, De’
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 18th International Conference on Coordination Languages and Models (COORDINATION)
%C Heraklion, Greece
%Y Alberto Lluch Lafuente
%Y José Proença
%I Springer International Publishing
%3 Coordination Models and Languages
%V LNCS-9686
%P 18-34
%8 2016-06-06
%D 2016
%R 10.1007/978-3-319-39519-7_2
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X 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.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01631714/document
%2 https://inria.hal.science/hal-01631714/file/416253_1_En_2_Chapter.pdf
%L hal-01631714
%U https://inria.hal.science/hal-01631714
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-COORDINATION
%~ IFIP-LNCS-9686