@misc{indiciaea2412f6c3b2b,
  title = {Asynchronous Global Protocols, Precisely: Full Proofs},
  author = {Kai Pischke and Jake Masters and Nobuko Yoshida},
  year = {2026},
  url = {https://arxiv.org/abs/2505.17676},
  note = {Source identifier: 2505.17676}
}