@misc{indiciae789140885a04, title = {Global Protocols under Rendezvous Synchrony: From Realizability to Type Checking}, author = {Elaine Li and Felix Stutz}, year = {2026}, url = {https://arxiv.org/abs/2602.09197}, note = {Source identifier: 2602.09197} }