Synthesis of fault-tolerant concurrent programs.

Paul C. Attie Anish Arora E. Allen Emerson Synthesis of fault-tolerant concurrent programs. 125-185 2004 26 ACM Trans. Program. Lang. Syst. 1 http://doi.acm.org/10.1145/963778.963782 db/journals/toplas/toplas26.html#AttieAE04