BDL14 (In proceedings)
|
Author(s) | Franco Barbanera, Mariangiola Dezani-Ciancaglini and Ugo de' Liguoro |
Title | « Compliance for reversible client/server interactions » |
In | BEAT'14 |
Series | EPTCS |
Volume | 162 |
Page(s) | 35--42 |
Year | 2014 |
URL | http://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. |
@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},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)