On the Equivalence of Synchronous Coordination Game and Asynchronous Coordination Design. - Xinnian Kazusa Pan (CoRR, 2024)