|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| Barbanera-Capecchi-deLiguoro:FSEN09 (In proceedings) | |
| Author(s) | Franco Barbanera, Sara Capecchi and Ugo de' Liguoro |
| Title | « Typing Asymmetric Client-Server Interaction » |
| In | Proc. of FSEN'09 |
| Series | LNCS |
| Volume | 5961 |
| Page(s) | 97-112 |
| Year | 2010 |
| Publisher | Springer |
| Abstract | |
| We investigate client-server interaction where duties and rights of the parties are asymmetric, in the sense that the client is allowed to abort any session before the server has completed, but not vice versa. This implies that the client can interact with any server o ering at least what she is looking for, but possibly more. We formalize such asymmetry in the setting of session types via a form of subtyping in depth, which we call prefix relation. This is apparently conflicting with the rigid duality imposed by session types; nonetheless the resulting system retains all basic correctness properties. Moreover, the system we propose highlights interesting aspects concerning the flow of communication inside a session. In particular it reveals that usual subtyping theories cannot be extended by means of prefix, which turns out to be a di erent concept. | |
Download the complete article:
| BibTeX code |
@inproceedings{Barbanera-Capecchi-deLiguoro:FSEN09,
number = {},
volume = {5961},
author = {Franco Barbanera and Sara Capecchi and Ugo de' Liguoro},
series = {LNCS},
booktitle = {{Proc. of FSEN'09}},
abstract = {We investigate client-server interaction where duties and rights
of the parties are asymmetric, in the sense that the client is
allowed to abort any session before the server has completed, but
not vice versa. This implies that the client can interact with any
server o ering at least what she is looking for, but possibly
more. We formalize such asymmetry in the setting of session types
via a form of subtyping in depth, which we call prefix relation.
This is apparently conflicting with the rigid duality imposed by
session types; nonetheless the resulting system retains all basic
correctness properties. Moreover, the system we propose highlights
interesting aspects concerning the flow of communication inside a
session. In particular it reveals that usual subtyping theories
cannot be extended by means of prefix, which turns out to be a
di erent concept.},
tag = {{FSEN'09}},
localfile = {http://www.di.unito.it/~deligu/papers/BCdL09draft.pdf},
title = {{Typing Asymmetric Client-Server Interaction}},
publisher = {Springer},
year = {2010},
pages = {97-112},
}
|
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)
