@InProceedings{	  CastagnaDezaniPadovani11,
  author	= {Giuseppe Castagna and Mariangiola Dezani-Ciancaglini and
		  Luca Padovani},
  title		= {{O}n {G}lobal {T}ypes and {M}ulti-party {S}essions},
  booktitle	= {Proceedings of the joint 13th International Conference on
		  Formal Methods for Open Object-based Distributed Systems
		  and 31th International Conference on FORmal TEchniques for
		  Networked and Distributed Systems},
  volume	= {LNCS 6722},
  year		= {2011},
  pages		= {1-28},
  publisher	= {Springer},
  doi		= {10.1007/978-3-642-21461-5\_1},
  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.}
}