Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

BarbaneradL16 (In proceedings)
Author(s) Franco Barbanera and Ugo de' Liguoro
Title« A Game Interpretation of Retractable Contracts »
InCoordination Models and Languages - 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
SeriesLecture Notes in Computer Science
Editor(s) Alberto Lluch-Lafuente and José Proença
Volume9686
Page(s)18--34
Year2016
PublisherSpringer
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.

Download the complete article: BdLCoord2016.pdf

BibTeX code

@inproceedings{BarbaneradL16,
  volume = {9686},
  author = {Franco Barbanera and Ugo de' Liguoro},
  series = {Lecture Notes in Computer Science},
  booktitle = {Coordination Models and Languages - 18th {IFIP} {WG} 6.1
               International Conference, {COORDINATION} 2016, Held as Part of
               the 11th International Federated Conference on Distributed
               Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece,
               June 6-9, 2016, Proceedings},
  editor = {Alberto Lluch{-}Lafuente and Jos{\'{e}} Proen{\c{c}}a},
  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.},
  title = {A Game Interpretation of Retractable Contracts},
  tag = {{COORDINATION'16}},
  localfile = {http://www.di.unito.it/~deligu/papers/BdLCoord2016.pdf},
  publisher = {Springer},
  doi = {10.1007/978-3-319-39519-7_2},
  year = {2016},
  pages = {18--34},
}


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)

Valid HTML 4.01!