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 » |
In | Proc. of PPDP'10 |
Series | ACM SIGPLAN |
Page(s) | 155-164 |
Year | 2010 |
Publisher | ACM |
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:
@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},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)