MAG: types for failure-prone communication

DOI10.1007/978-3-031-30044-8_14zbMATH Open1541.68035MaRDI QIDQ6535245FDOQ6535245

Authors: Matthew Alan Le Brun, Ornela Dardha 

Publication date: 24 November 2023

Recommendations

• Multiparty session types, beyond duality
• Session types for link failures
• A session type system for asynchronous unreliable broadcast communication

zbMATH Keywords

session typesdistributed protocolsfailurestimeouts

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Distributed systems (68M14) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• A Distributed Pi-Calculus
• Honesty by typing
• Types and programing languages
• Multiparty Asynchronous Session Types
• On the expressive power of recursion, replication and iteration in process calculi
• Title not available (Why is that?)
• Title not available (Why is that?)
• Distributed processes and location failures
• Objects and session types
• Fundamentals of session types
• Process algebras with localities.
• Book review of: J. F. Groote and M. R. Mousavi, Modeling and analysis of communicating systems
• A typing discipline for statically verified crash failure handling in distributed systems
• A type theory for robust failure handling in distributed systems
• Session types for link failures
• Global escape in multiparty sessions
• Fencing off Go: liveness and safety for channel-based programming
• Affine sessions
• Generalising Projection in Asynchronous Multiparty Session Types.
• Generalised multiparty session types with crash-stop failures

Cited In (1)

• A session type system for asynchronous unreliable broadcast communication

This page was built for publication: MAG\(\pi\): types for failure-prone communication

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