TY  - RPRT
TI  - MAG$π$: Types for Failure-Prone Communication
AU  - Matthew Alan Le Brun
AU  - Ornela Dardha
PY  - 2023
UR  - https://arxiv.org/abs/2301.10827
ID  - 2301.10827
ER  -