Synthesis of Concurrent Systems for an Atomic Read / Atomic Write Model of Computation (Extended Abstract).

Paul C. Attie, E. Allen Emerson

Browse the full PODC paper archive.