A Correctness Condition for High-Performance Multiprocessors (Extended Abstract)

Hagit Attiya, Roy Friedman

Browse the full STOC paper archive.