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 and Ugo de' Liguoro
Title« Loosening the notions of compliance and sub-behaviour in client/server systems »
InProceedings of ICE 2014
SeriesEPTCS
Editor(s) Ivan Lanese, Alberto Lluch Lafuente, Ana Sokolova and Hugo Torres Vieira
Volume166
Page(s)94-110
Year2014
Abstract
In the context of ''session behaviors'' for client/server systems, we propose an extension of the compliance and sub-behaviour relations where the bias toward the client (which is the one whose "requests" must be satisfied) is pushed further w.r.t. the usual definitions: an output action from the server side can be ''skipped'' by the client in case it be not needed. Many relevant properties of the usual notions can be proved to still hold for the proposed extensions. However, whereas the possibility of skipping does not effect in a relevant way some proofs like decidability, it forces a tighter analysis of the interactions in case one wishes to prove that the dual of a behaviour is the minimum among its sub-behaviours, a property that enables us to infer decidability of sub-behaviour from decidability of compliance.

Download the complete article: 1311.5802

BibTeX code

@inproceedings{BdL14,
  volume = {166},
  author = {Franco Barbanera and Ugo de' Liguoro},
  series = {{EPTCS}},
  booktitle = {{Proceedings of ICE 2014}},
  editor = {Ivan Lanese and Alberto Lluch Lafuente and Ana Sokolova and Hugo
            Torres Vieira },
  title = {{Loosening the notions of compliance and sub-behaviour in
           client/server systems}},
  abstract = {In the context of ''session behaviors'' for client/server systems,
              we propose an extension of the compliance and sub-behaviour
              relations where the bias toward the client (which is the one whose
              "requests" must be satisfied) is pushed further w.r.t. the usual
              definitions: an output action from the server side can be
              ''skipped'' by the client in case it be not needed. Many relevant
              properties of the usual notions can be proved to still hold for
              the proposed extensions. However, whereas the possibility of
              skipping does not effect in a relevant way some proofs like
              decidability, it forces a tighter analysis of the interactions in
              case one wishes to prove that the dual of a behaviour is the
              minimum among its sub-behaviours, a property that enables us to
              infer decidability of sub-behaviour from decidability of
              compliance.},
  tag = {ICE'14},
  localfile = {http://arxiv.org/abs/1311.5802},
  pages = {94-110},
  year = {2014},
}


 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!