A Type Theory for Robust Failure Handling in Distributed Systems

DOI10.1007/978-3-319-39570-8_7zbMath1347.68027OpenAlexW2464610770MaRDI QIDQ2827463

Andi Bejleri, Lukasz Ziarek, Malte Viering, Tzu-Chun Chen, Patrick Eugster

Publication date: 19 October 2016

Published in: Formal Techniques for Distributed Objects, Components, and Systems (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01432930/file/426757_1_En_7_Chapter.pdf

zbMATH Keywords

distributed systemssession typespartial failure handling

Mathematics Subject Classification ID

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

Related Items (1)

Fault-tolerant multiparty session types

Uses Software

• GitHub

Cites Work

• Unnamed Item
• Unnamed Item
• Exception handling for copyless messaging
• Recovery within long-running transactions
• Multiparty asynchronous session types
• Structured Interactional Exceptions in Session Types
• Global Progress in Dynamically Interleaved Multiparty Sessions
• Conversation Types
• Dynamic multirole session types
• The Conversation Calculus: A Model of Service-Oriented Computation

This page was built for publication: A Type Theory for Robust Failure Handling in Distributed Systems