A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms | Publicación