TY  - RPRT
TI  - Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory (Full Version)
AU  - Bernd Finkbeiner
AU  - Manuel Gieseking
AU  - Jesko Hecking-Harbusch
AU  - Ernst-Rüdiger Olderog
PY  - 2021
UR  - https://arxiv.org/abs/2107.09280
ID  - 2107.09280
ER  -