Multiparty session types within a canonical binary theory, and beyond
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 …
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 …
Multiparty Session Types Within a Canonical Binary Theory, and Beyond
N LINCS - … Techniques for Distributed Objects, Components, and … - Springer
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 …
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 …
Showing the best results for this search. See all results