Sign in
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