A.: Synthesis of fault-tolerant concurrent programs (0)

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