most citedMAG: Types for Failure-Prone Communication

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.PL2023★ 1 cited

MAG: 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…