A Session Type System for Asynchronous Unreliable Broadcast Communication

The authors introduce the Unreliable Broadcast Session Calculus (UBSC), a process calculus with unreliable broadcast communication, and develop a session type system that ensures soundness, safety, and progress between synchronized session endpoints.