Media type: E-Article Title: A Correctness Condition for High-Performance Multiprocessors Contributor: Attiya, Hagit; Friedman, Roy Published: Society for Industrial & Applied Mathematics (SIAM), 1998 Published in: SIAM Journal on Computing, 27 (1998) 6, Seite 1637-1670 Language: English DOI: 10.1137/s0097539795289215 ISSN: 0097-5397; 1095-7111 Keywords: General Mathematics ; General Computer Science Origination: Footnote: