Multiparty session types within a canonical binary theory, and beyond

Luís Caires, Jorge A. Pérez

Research output: Chapter in Book/Report/Conference proceedingConference contribution

18 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationFormal Techniques for Distributed Objects, Components, and Systems - 36th IFIP WG 6.1 International Conference, FORTE 2016 Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Proceedings
PublisherSpringer-Verlag
Pages74-95
Number of pages22
Volume9688
ISBN (Print)9783319395692
DOIs
Publication statusPublished - 2016
Event36th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2016 and Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016 - Heraklion, Crete, Greece
Duration: 6 Jun 20169 Jun 2016

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9688
ISSN (Print)03029743
ISSN (Electronic)16113349

Conference

Conference36th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2016 and Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016
CountryGreece
CityHeraklion, Crete
Period6/06/169/06/16

Keywords

  • Bins
  • Computation theory
  • Formal languages

Fingerprint Dive into the research topics of 'Multiparty session types within a canonical binary theory, and beyond'. Together they form a unique fingerprint.

Cite this