Synthesis of Fault-Tolerant Concurrent Programs.

Anish Arora, Paul C. Attie, E. Allen Emerson

Browse the full PODC paper archive.