Multiparty symmetric sum types

MaRDI QIDQ4964003zbMATH OpenFDO

Authors Lasse R. Nielsen, Nobuko Yoshida, Kohei Honda

Publication date 24 February 2021

Full work available at URL https://arxiv.org/abs/1011.6436, http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESS10.9

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Multiparty session types, beyond duality
• Dynamic multirole session types
• Parameterised Multiparty Session Types
• Multiparty asynchronous session types
• Multiparty Session Types Within a Canonical Binary Theory, and Beyond

Cited in

(3)

• Session types and subtyping for orchestrated interactions
• Expressiveness of concurrent intensionality
• A gentle introduction to multiparty asynchronous session types

This page was built for publication: Multiparty symmetric sum types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4964003)