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 

BarbaneraDdL2016 (Article)
Author(s) Franco Barbanera, Mariangiola Dezani-Ciancaglini and Ugo de' Liguoro
Title« Reversible client/server interactions »
JournalFormal Aspects of Computing
Volume28
Number4
Page(s)697--722
Year2016
ISSN number1433-299X
URLhttp://dx.doi.org/10.1007/s00165-016-0358-2
Abstract
In the setting of session behaviours, we study an extension of the concept of compliance when a disciplined form of backtracking and of output skipping is present. After adding checkpoints to the syntax of session behaviours, we formalise the operational semantics via an LTS, and define natural notions of checkpoint compliance and sub-behaviour, which we prove to be both decidable. Then we extend the operational semantics with skips and we show the decidability of the obtained compliance.

BibTeX code

@article{BarbaneraDdL2016,
  number = {4},
  volume = {28},
  issn = {1433-299X},
  author = {Barbanera, Franco and Dezani-Ciancaglini, Mariangiola and de'
            Liguoro, Ugo},
  url = {http://dx.doi.org/10.1007/s00165-016-0358-2},
  tag = {Formal Aspects of Computing},
  title = {Reversible client/server interactions},
  abstract = {In the setting of session behaviours, we study an extension of the
              concept of compliance when a disciplined form of backtracking and
              of output skipping is present. After adding checkpoints to the
              syntax of session behaviours, we formalise the operational
              semantics via an LTS, and define natural notions of checkpoint
              compliance and sub-behaviour, which we prove to be both decidable.
              Then we extend the operational semantics with skips and we show
              the decidability of the obtained compliance.},
  doi = {10.1007/s00165-016-0358-2},
  journal = {Formal Aspects of Computing},
  year = {2016},
  pages = {697--722},
}


 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!