TY  - RPRT
TI  - Global Protocols under Rendezvous Synchrony: From Realizability to Type Checking
AU  - Elaine Li
AU  - Felix Stutz
PY  - 2026
UR  - https://arxiv.org/abs/2602.09197
ID  - 2602.09197
ER  -