TY  - RPRT
TI  - A Theory of Composing Protocols
AU  - Laura Bocchi
AU  - Dominic Orchard
AU  - A. Laura Voinea
PY  - 2022
DO  - 10.22152/programming-journal.org/2023/7/6
UR  - https://arxiv.org/abs/2203.02461
ID  - 2203.02461
ER  -