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 

BarbaneradL17a (In proceedings)
Author(s) Franco Barbanera, Ivan Lanese and Ugo de' Liguoro
Title« Retractable and Speculative Contracts »
InCoordination 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âtel, Switzerland, June 19-22, 2017, Proceedings
SeriesLecture Notes in Computer Science
Volume10319
Page(s)119--137
Year2017
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.

BibTeX code

@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},
}


 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!