@inproceedings{BarbaneradL17a,
  volume = {10319},
  author = {Franco Barbanera and Ivan Lanese and Ugo de' Liguoro},
  series = {Lecture Notes in Computer Science},
  booktitle = {Coordination Models and Languages - 19th {IFIP} {WG} 6.1
               International Conference, {COORDINATION} 2017, Held as Part of
               the 12th International Federated Conference on Distributed
               Computing Techniques, DisCoTec 2017, Neuch{\^{a}}tel,
               Switzerland, June 19-22, 2017, Proceedings},
  tag = {{COORDINATION'17}},
  title = {Retractable and Speculative Contracts},
  abstract = {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 compli- ance. Moreover, compliance and subcontract
              relation are both decidable in polynomial time.},
  doi = {10.1007/978-3-319-59746-1_7},
  pages = {119-137},
  year = {2017},
}

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