Synthesis of concurrent programs for an atomic read/write model of computation.

Paul C. Attie E. Allen Emerson

Published in: ACM Trans. Program. Lang. Syst. (2001)

Keyphrases

artificial intelligence