Iso-Recursive Multiparty Sessions and their Automated Verification.

Marco Giunti, Nobuko Yoshida

Browse the full ESOP paper archive.