TY  - RPRT
TI  - Iso-Recursive Multiparty Sessions and their Automated Verification -- Technical Report
AU  - Marco Giunti
AU  - Nobuko Yoshida
PY  - 2025
UR  - https://arxiv.org/abs/2501.17778
ID  - 2501.17778
ER  -