Synthesis of fault-tolerant concurrent programs (2004)

by P C Attie, A Arora, E A Emerson
Venue:ACM Trans. on Program. Lang. Syst