Raven Beutner, Bernd Finkbeiner, Jesko Hecking-Harbusch. Translating Asynchronous Games for Distributed Synthesis. In Wan Fokkink, Rob van Glabbeek, editors, 30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands. Volume 140 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. [doi]
Abstract is missing.