@misc{indiciae3673264d399c, title = {Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory (Full Version)}, author = {Bernd Finkbeiner and Manuel Gieseking and Jesko Hecking-Harbusch and Ernst-RĂ¼diger Olderog}, year = {2021}, url = {https://arxiv.org/abs/2107.09280}, note = {Source identifier: 2107.09280} }