@misc{indiciaeb49b27699a3b,
  title = {Denotational reasoning for asynchronous multiparty session types},
  author = {Dylan McDermott and Nobuko Yoshida},
  year = {2026},
  doi = {10.1007/978-3-032-22723-2\_3},
  url = {https://arxiv.org/abs/2604.10646},
  note = {Source identifier: 2604.10646}
}