%0 Conference Proceedings
%T On global types and multi-party sessions
%+ Preuves, Programmes et Systèmes (PPS)
%+ Dipartimento di Informatica [Torino]
%A Castagna, Giuseppe
%A Dezani-Ciancaglini, Mariangiola
%A Padovani, Luca
%F Invité
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE)
%C Reykjavik, Iceland
%Y Roberto Bruni
%Y Juergen Dingel
%I Springer
%3 Formal Techniques for Distributed Systems
%V LNCS-6722
%P 1-28
%8 2011-06-06
%D 2011
%R 10.1007/978-3-642-21461-5_1
%Z Computer Science [cs]/Programming Languages [cs.PL]Conference papers
%X 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.
%G English
%Z TC 6
%Z WG 6.1
%2 https://hal.science/hal-00618814/document
%2 https://hal.science/hal-00618814/file/978-3-642-21461-5_1_Chapter.pdf
%L hal-00618814
%U https://hal.science/hal-00618814
%~ UNIV-PARIS7
%~ CNRS
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-FORTE
%~ IFIP-FMOODS
%~ IFIP-LNCS-6722
%~ UNIV-PARIS