Title: On reductions and livelocks in asynchronous parallel computation
Subjects: Computer programs, Correctness, Parallel processing (Electronic computers)