MAG$\pi$: Types for Failure-Prone Communication

Matthew Alan Le Brun, Ornela Dardha

Multiparty Session Types (MPST) are a typing discipline for communication-centric systems, guaranteeing communication safety, deadlock freedom and protocol compliance. Several work…