On the Equivalence of Synchronous Coordination Game and Asynchronous Coordination Design | Arena Library | Arena