@inproceedings{ad0040f30bc1411ab0f4b5c3f2830743,
title = "Multiparty session types within a canonical binary theory, and beyond",
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.",
keywords = "Bins, Computation theory, Formal languages",
author = "Lu{\'i}s Caires and P{\'e}rez, {Jorge A.}",
note = "sem pdf; 36th 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 ; Conference date: 06-06-2016 Through 09-06-2016",
year = "2016",
doi = "10.1007/978-3-319-39570-8_6",
language = "English",
isbn = "9783319395692",
volume = "9688",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag",
pages = "74--95",
booktitle = "Formal 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",
}