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 

Barbanera-deLiguoro:PPDP10 (In proceedings)
Author(s) Franco Barbanera and Ugo de' Liguoro
Title« Two Notions of Sub-behaviour for Session-based Client/Server Systems »
InProc. of PPDP'10
SeriesACM SIGPLAN
Page(s)155-164
Year2010
PublisherACM
Abstract
We propose a refinement and a simplification of the behavioural semantics of session types, based on the concepts of compliance and sub-behaviour from the theory of web contracts. We introduce two relations, representing the idea of sub-behaviour from the point of view of the client and the server, respectively, and characterize the sub-behaviour relation (from the literature) as the intersection of the other two. We show that a proper subclass of behaviours, called ``session behaviors'', and the sub-behaviour relations model session types and subtyping, clarifying the otherwise problematic extension of session type subtyping with concepts from the theory of contracts.

Download the complete article: BdL10draft.pdf

BibTeX code

@inproceedings{Barbanera-deLiguoro:PPDP10,
  number = {},
  volume = {},
  author = {Franco Barbanera and Ugo de' Liguoro},
  series = {ACM SIGPLAN},
  booktitle = {{Proc. of PPDP'10}},
  abstract = {We propose a refinement and a simplification of the behavioural
              semantics of session types, based on the concepts of compliance
              and sub-behaviour from the theory of web contracts. We introduce
              two relations, representing the idea of sub-behaviour from the
              point of view of the client and the server, respectively, and
              characterize the sub-behaviour relation (from the literature) as
              the intersection of the other two. We show that a proper subclass
              of behaviours, called ``session behaviors'', and the sub-behaviour
              relations model session types and subtyping, clarifying the
              otherwise problematic extension of session type subtyping with
              concepts from the theory of contracts. },
  tag = {{PPDP'10}},
  localfile = {http://www.di.unito.it/~deligu/papers/BdL10draft.pdf},
  title = {{Two Notions of Sub-behaviour for Session-based Client/Server
           Systems}},
  publisher = {ACM},
  year = {2010},
  pages = {155-164},
}


 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!