@inproceedings{BDLL15,
  volume = {203},
  author = {Franco Barbanera and Mariangiola Dezani-Ciancaglini and Ivan Lanese
            and Ugo de' Liguoro},
  series = {EPTCS},
  booktitle = {PLACES 2015},
  url = {http://www.di.unito.it/~dezani/papers/bdll15.pdf},
  tag = {PLACES'15},
  title = {Retractable Contracts},
  abstract = {We investigate the notion of orchestrated compliance for
              client/server interactions in the context of session contracts.
              Devising the notion of orchestrator in such a context makes it
              possible to have orchestrators with unbounded buffering
              capabilities and a t the same time to guarantee any message from
              the client to be eventually delivered by the orchestrator to the
              server, while preventing the server from sending messages which
              are kept indefinitely inside the orchestrator. The compliance
              relation is shown to be decidable by means of 1) a procedure
              synthesising the orchestrators, if any, makin g a client compliant
              with a server, and 2) a procedure for deciding whether an
              orchestrator behaves in a proper way as mentioned before.},
  year = {2016},
  pages = {61 - 72},
}

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