A correctness condition for highperformance multiprocessors (1992)

by Hagit Attiya, Roy Friedman
Venue:In Proceedings of the Twenty-Fourth Annual ACM Symposium on the Theory of Computing