Global Winning Conditions in Synthesis of Distributed Systems with Causal Memory.

Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rdiger Olderog

Browse the full CSL paper archive.