%0 Conference Proceedings
%T Multiparty Session Types Within a Canonical Binary Theory, and Beyond
%+ Universidade Nova de Lisboa = NOVA University Lisbon (NOVA)
%+ University of Groningen [Groningen]
%A Caires, Luís
%A Pérez, Jorge, A.
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE)
%C Heraklion, Greece
%Y Elvira Albert
%Y Ivan Lanese
%3 Formal Techniques for Distributed Objects, Components, and Systems
%V LNCS-9688
%P 74-95
%8 2016-06-06
%D 2016
%R 10.1007/978-3-319-39570-8_6
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X A widespread approach to software service analysis uses session types. Very different type theories for binary and multiparty protocols have been developed; establishing precise connections between them remains an open problem. We present the first formal relation between two existing theories of binary and multiparty session types: a binary system rooted in linear logic, and a multiparty system based on automata theory. Our results enable the analysis of multiparty protocols using a (much simpler) type theory for binary protocols, ensuring protocol fidelity and deadlock-freedom. As an application, we offer the first theory of multiparty session types with behavioral genericity. This theory is natural and powerful; its analysis techniques reuse results for binary session types.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01432929/document
%2 https://inria.hal.science/hal-01432929/file/426757_1_En_6_Chapter.pdf
%L hal-01432929
%U https://inria.hal.science/hal-01432929
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-FORTE
%~ IFIP-LNCS-9688