@misc{indiciae90bfa9c0c8bb,
  title = {A Theory of Composing Protocols},
  author = {Laura Bocchi and Dominic Orchard and A. Laura Voinea},
  year = {2022},
  doi = {10.22152/programming-journal.org/2023/7/6},
  url = {https://arxiv.org/abs/2203.02461},
  note = {Source identifier: 2203.02461}
}