Authors: Attie, PC Emerson, EA

Citation: Pc. Attie et Ea. Emerson, Synthesis of concurrent programs for an atomic read/write model of computation, ACM T PROGR, 23(2), 2001, pp. 187-242