CastagnaDezaniPadovani11 (In proceedings)
|
Author(s) | Giuseppe Castagna, Mariangiola Dezani-Ciancaglini and Luca Padovani |
Title | « On Global Types and Multi-Party Sessions » |
In | Proceedings of the IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'11) |
Series | LNCS |
Volume | 6722 |
Page(s) | 1-28 |
Year | 2011 |
Publisher | Springer |
URL | http://www.di.unito.it/~padovani/Papers/CastagnaDezaniPadovani11.pdf |
Abstract |
We present a new, streamlined language of global types equipped with a trace-based semantics and whose features and restrictions are semantically justified. The multi-party sessions obtained projecting our global types enjoy a liveness property in addition to the traditional progress and are shown to be sound and complete with respect to the set of traces of the originating global type. Our notion of completeness is less demanding than the classical ones, allowing a multi-party session to leave out redundant traces from an underspecified global type. |
@inproceedings{CastagnaDezaniPadovani11,
volume = {6722},
author = {Giuseppe Castagna and Mariangiola Dezani-Ciancaglini and Luca
Padovani},
series = {LNCS},
booktitle = {Proceedings of the IFIP International Conference on Formal
Methods for Open Object-based Distributed Systems (FMOODS'11)},
url = {http://www.di.unito.it/~padovani/Papers/CastagnaDezaniPadovani11.pdf},
abstract = { We present a new, streamlined language of global types equipped
with a trace-based semantics and whose features and restrictions
are semantically justified. The multi-party sessions obtained
projecting our global types enjoy a liveness property in addition
to the traditional progress and are shown to be sound and complete
with respect to the set of traces of the originating global type.
Our notion of completeness is less demanding than the classical
ones, allowing a multi-party session to leave out redundant traces
from an underspecified global type. },
title = {{On Global Types and Multi-Party Sessions}},
publisher = {Springer},
year = {2011},
pages = {1-28},
doi = {10.1007/978-3-642-21461-5\_1},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)
