@InProceedings{ CastagnaDezaniPadovani11,
author = {Giuseppe Castagna and Mariangiola Dezani-Ciancaglini and
Luca Padovani},
title = {{On Global Types and Multi-Party Sessions}},
booktitle = {Proceedings of the IFIP International Conference on Formal
Methods for Open Object-based Distributed Systems
(FMOODS'11)},
year = {2011},
series = {LNCS},
volume = {6722},
pages = {1-28},
publisher = {Springer},
doi = {10.1007/978-3-642-21461-5\_1},
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. }
}