@misc{indiciae7279b9a1fb39,
  title = {Designing Asynchronous Multiparty Protocols with Crash-Stop Failures},
  author = {Adam D. Barwell and Ping Hou and Nobuko Yoshida and Fangyi Zhou},
  year = {2023},
  url = {https://arxiv.org/abs/2305.06238},
  note = {Source identifier: 2305.06238}
}