BarbaneraDdL2016 (Article)
|
Author(s) | Franco Barbanera, Mariangiola Dezani-Ciancaglini and Ugo de' Liguoro |
Title | « Reversible client/server interactions » |
Journal | Formal Aspects of Computing |
Volume | 28 |
Number | 4 |
Page(s) | 697-722 |
Year | 2016 |
ISSN number | 1433-299X |
URL | http://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. |
@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},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)