MAG: types for failure-prone communication

DOI10.1007/978-3-031-30044-8_14MaRDI QIDQ6535245zbMATH OpenFDO

Authors Matthew Alan Le Brun, Ornela Dardha

Publication date 24 November 2023

Copyright license Creative Commons Attribution 4.0 International

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)

Recommendations

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

Cites work

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

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)