@misc{indiciae4457af45cd30,
  title = {Iso-Recursive Multiparty Sessions and their Automated Verification -- Technical Report},
  author = {Marco Giunti and Nobuko Yoshida},
  year = {2025},
  url = {https://arxiv.org/abs/2501.17778},
  note = {Source identifier: 2501.17778}
}