In this thesis we study the distributed synthesis problem, which asks for an algorithm that synthesizes distributed systems from a given specification. We study this via the equivalent problem of determining the winning ...