Automating Synthesis of Asynchronous Communication Mechanisms | Publicación