MAG\(\pi\): types for failure-prone communication

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

Matthew Alan Le Brun, Ornela Dardha

Publication date: 24 November 2023

zbMATH Keywords

session typesdistributed protocolsfailurestimeouts

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Fundamentals of session types
• Objects and session types
• Book review of: J. F. Groote and M. R. Mousavi, Modeling and analysis of communicating systems
• Fault-tolerant multiparty session types
• A typing discipline for statically verified crash failure handling in distributed systems
• Process algebras with localities.
• Types and programing languages
• A Type Theory for Robust Failure Handling in Distributed Systems
• Honesty by Typing
• Multiparty Asynchronous Session Types
• A Distributed Pi-Calculus
• On the expressive power of recursion, replication and iteration in process calculi
• Session Types for Link Failures
• Fencing off go: liveness and safety for channel-based programming
• Global escape in multiparty sessions
• Distributed processes and location failures
• ElixirST: a session-based type system for elixir modules
• Generalising Projection in Asynchronous Multiparty Session Types.
• Generalised multiparty session types with crash-stop failures

Related Items (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)