Structured Interactional Exceptions in Session Types

DOI10.1007/978-3-540-85361-9_32MaRDI QIDQ3541033zbMATH OpenOpenAlexFDO

Authors Marco Carbone, Kohei Honda, Nobuko Yoshida

Publication date 25 November 2008

Published in CONCUR 2008 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-85361-9_32

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 7168313
• Mixed sessions
• Mixed sessions
• Session types at the mirror
• Affine sessions

Cited in

(21)

• Reversibility in session-based concurrency: a fresh look
• Exception handling for copyless messaging
• A type theory for robust failure handling in distributed systems
• Enforcing availability in failure-aware communicating systems
• Global escape in multiparty sessions
• scientific article; zbMATH DE number 6703933 (Why is no real title available?)
• Linearity, control effects, and behavioral types
• Typing asymmetric client-server interaction
• On the analysis of compensation correctness
• Affine sessions
• On compensation primitives as adaptable processes
• scientific article; zbMATH DE number 7168313 (Why is no real title available?)
• Deriving session and union types for objects
• Algebra and Coalgebra in Computer Science
• CaSPiS: a calculus of sessions, pipelines and services
• Global escape in multiparty sessions
• Safe session-based concurrency with shared linear state
• A session type system for asynchronous unreliable broadcast communication
• Timeout asynchronous session types: safe asynchronous mixed-choice for timed interactions
• Crash-stop failures in asynchronous multiparty session types
• Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python

Describes a project that uses

Uses Software

• COWS

This page was built for publication: Structured Interactional Exceptions in Session Types

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