TY  - RPRT
TI  - An Automata-theoretic Basis for Specification and Type Checking of Multiparty Protocols
AU  - Felix Stutz
AU  - Emanuele D'Osualdo
PY  - 2025
UR  - https://arxiv.org/abs/2501.16977
ID  - 2501.16977
ER  -