A session type system for asynchronous unreliable broadcast communication

DOI10.46298/lmcs-20(3:13)2024MaRDI QIDQ6597963

Ramūnas Forsberg Gutkovas, Dimitrios Kouzapas, A. Laura Voinea, Simon J. Gay

Publication date: 4 September 2024

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

zbMATH Keywords

broadcastingsession typestype safetyunreliabilityPaxos

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites Work

• Resource access control in systems of mobile agents
• On Duality Relations for Session Types
• Broadcast Psi-calculi with an Application to Wireless Protocols
• Multiparty asynchronous session types
• Structured Interactional Exceptions in Session Types
• Session Types for Link Failures
• Linear type theory for asynchronous session types
• Global escape in multiparty sessions
• Global progress for dynamically interleaved multiparty sessions
• On asynchronous eventful session semantics
• Parameterised Multiparty Session Types
• MAG\(\pi\): types for failure-prone communication

This page was built for publication: A session type system for asynchronous unreliable broadcast communication

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