Download the complete article:

@article{BarbaneraLanesedL18,
  volume = {167},
  author = {Franco Barbanera and Ivan Lanese and Ugo de' Liguoro},
  issn = {0167-6423},
  keywords = {Behavioral contracts, Backtracking, Speculative execution,
              Compliance, Reversible computing},
  url = {http://www.sciencedirect.com/science/article/pii/S0167642318302636},
  abstract = {Behavioral contracts are abstract descriptions of expected
              communication patterns followed by either clients or servers
              during their interaction. 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
              behavioral contracts, retractable contracts dealing with
              backtracking and speculative contracts dealing 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 compliance. Moreover, compliance
              and subcontract relation are both decidable in quadratic time.
              Finally, we study the relationship between retractable contracts
              and calculi for reversible computing.},
  title = {A theory of retractable and speculative contracts},
  localfile = {http://www.di.unito.it/~deligu/papers/BLdL18.pdf},
  tag = {Science of Computer Programming},
  journal = {Science of Computer Programming},
  pages = {25 - 50},
  year = {2018},
  doi = {https://doi.org/10.1016/j.scico.2018.06.005},
}

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