A Correctness Condition for High-performance Multiprocessors (1992)

by Hagit Attiya, Roy Friedman
Venue:In Proceedings of the 24th Annual ACM Symposium on the Theory of Computing