Matthew Alan Le Brun

most citedMAG

π

: Types for Failure-Prone Communication

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

collaborators

Showing cs.PLShow all

2 papers · 1 filter

cs.PL2024★ 1 cited

MAG $π$ !: The Role of Replication in Typing Failure-Prone Communication

Matthew Alan Le Brun, Ornela Dardha

MAG $π$ is a Multiparty, Asynchronous and Generalised $π$ -calculus that introduces timeouts into session types as a means of reasoning about failure-prone communication. Its type sy…

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…

MAGπ!: The Role of Replication in Typing Failure-Prone Communication

MAGπ: Types for Failure-Prone Communication

MAG $π$ !: The Role of Replication in Typing Failure-Prone Communication

MAG $π$ : Types for Failure-Prone Communication