Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory Academic Article