1 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.PL2025
Multiparty Session Types with a Bang!
Matthew Alan Le Brun, Simon Fowler, Ornela Dardha
Replication is an alternative construct to recursion for describing infinite behaviours in the pi-calculus. In this paper we explore the implications of including type-level replic…
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…