Synthesis of fault-tolerant concurrent programs (2004)

by P C Attie, A Arora, E A Emerson
Venue:ACM Transactions on Programming Languages Systems (TOPLAS