|
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 » |
| 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:
| 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},
}
|
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)
