Multiparty session nets

DOI10.1007/978-3-662-45917-1_8MaRDI QIDQ2811929zbMATH OpenOpenAlexFDO

Authors Luca Fossati, Raymond Hu, Nobuko Yoshida

Publication date 9 June 2016

Published in Trustworthy Global Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-45917-1_8

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Multiparty session types, beyond duality
• Composition and decomposition of multiparty sessions
• Timed multiparty session types
• Dynamic multirole session types
• Multiparty compatibility in communicating automata: characterisation and synthesis of global session types

Cited in

(14)

• Deadlock-freedom-by-design, multiparty asynchronous global programming
• Multiparty Asynchronous Session Types
• Featherweight Scribble
• On the expressiveness of multiparty sessions
• On global types and multi-party sessions
• Open Multiparty Interaction
• Multiparty session actors
• Taming concurrency for verification using multiparty session types
• A gentle introduction to multiparty asynchronous session types
• Globally governed session semantics
• Composition and decomposition of multiparty sessions
• From communicating machines to graphical choreographies
• Efficient sessions
• Nonlinear processes in safety systems for substances with parameters close to a critical state

This page was built for publication: Multiparty session nets

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