Structured Interactional Exceptions in Session Types

DOI10.1007/978-3-540-85361-9_32zbMath1160.68459OpenAlexW1585111997MaRDI QIDQ3541033

Kohei Honda, Nobuko Yoshida, Marco Carbone

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

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

Related Items (14)

Reversibility in session-based concurrency: a fresh look ⋮ Unnamed Item ⋮ Fault-tolerant multiparty session types ⋮ Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python ⋮ Unnamed Item ⋮ On the analysis of compensation correctness ⋮ Exception handling for copyless messaging ⋮ Linearity, Control Effects, and Behavioral Types ⋮ Deriving session and union types for objects ⋮ CaSPiS: a calculus of sessions, pipelines and services ⋮ Global escape in multiparty sessions ⋮ Unnamed Item ⋮ A Type Theory for Robust Failure Handling in Distributed Systems ⋮ Enforcing Availability in Failure-Aware Communicating Systems

Uses Software

• COWS

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