TY - CONF T1 - An observational approach to defining linearizability on weak memory models JO - Lecture Notes in Computer Science UR - http://eprints.whiterose.ac.uk/118706/ PY - 2017/05/28 AU - Derrick J AU - Smith G ED - DO - DOI: 10.1007/978-3-319-60225-7_8 PB - Springer SN - 9783319602240 SP - 108 EP - 123 Y2 - 2024/12/22 ER -