Global escape in multiparty sessions

DOI10.4230/LIPICS.FSTTCS.2010.338MaRDI QIDQ2908863zbMATH OpenFDO

Authors Sara Capecchi, Elena Giachino, Nobuko Yoshida

Publication date 29 August 2012

Full work available at URL http://subs.emis.de/LIPIcs/frontdoor_0104.html

zbMATH Keywords

multiparty communicationexception handlingescape mechanism

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Distributed systems (68M14)

Recommendations

• Global escape in multiparty sessions
• Structured Interactional Exceptions in Session Types
• Composition and decomposition of multiparty sessions
• Global progress for dynamically interleaved multiparty sessions
• Multiparty asynchronous session types

Cited in

(8)

• Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
• Affine sessions
• Monitoring networks through multiparty session types
• A type theory for robust failure handling in distributed systems
• A gentle introduction to multiparty asynchronous session types
• scientific article; zbMATH DE number 6703933 (Why is no real title available?)
• Global escape in multiparty sessions
• Exception handling for copyless messaging

This page was built for publication: Global escape in multiparty sessions

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