TY  - RPRT
TI  - Top-down = Bottom-up: Sound and Complete Characterisations of Liveness by Multiparty Global Protocols
AU  - Kai Pischke
AU  - Nobuko Yoshida
PY  - 2026
UR  - https://arxiv.org/abs/2607.21489
ID  - 2607.21489
ER  -