Asynchronous Global Protocols, Precisely: Full Proofs. - Kai Pischke; Nobuko Yoshida (CoRR, 2025)