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 

BDL14 (In proceedings)
Author(s) Franco Barbanera, Mariangiola Dezani-Ciancaglini and Ugo de' Liguoro
Title« Compliance for reversible client/server interactions »
InBEAT'14
SeriesEPTCS
Volume162
Page(s)35--42
Year2014
URLhttp://www.di.unito.it/~dezani/papers/bdl14.pdf
Abstract
In the setting of session behaviours, we study an extension of the concept of compliance when a disciplined form of backtracking is present. After adding checkpoints to the syntax of session behaviours, we formalise the operational semantics via a LTS, and define a natural notion of checkpoint compliance. We then obtain a co-inductive characterisation of such compliance relation, and an axiomatic presentation that is proved to be sound and complete. As a byproduct we get a decision procedure for the new compliance, being the axiomatic system algorithmic.

BibTeX code

@inproceedings{BDL14,
  volume = {162},
  author = {Franco Barbanera and Mariangiola Dezani-Ciancaglini and Ugo de'
            Liguoro},
  series = {EPTCS},
  booktitle = {BEAT'14},
  url = {http://www.di.unito.it/~dezani/papers/bdl14.pdf},
  title = {Compliance for reversible client/server interactions},
  tag = {BEAT'14},
  abstract = {In the setting of session behaviours, we study an extension of the
              concept of compliance when a disciplined form of backtracking is
              present. After adding checkpoints to the syntax of session
              behaviours, we formalise the operational semantics via a LTS, and
              define a natural notion of checkpoint compliance. We then obtain a
              co-inductive characterisation of such compliance relation, and an
              axiomatic presentation that is proved to be sound and complete. As
              a byproduct we get a decision procedure for the new compliance,
              being the axiomatic system algorithmic.},
  year = {2014},
  pages = {35--42},
}


 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!