Adam: Causality-Based Synthesis of Distributed Systems.

Bernd Finkbeiner, Manuel Gieseking, Ernst-Rdiger Olderog

Browse the full CAV paper archive.