TY  - CONF

T1  - An observational approach to defining linearizability on weak memory models

JO  - Formal Techniques for Distributed Objects, Components, and Systems. FORTE 2017

UR  - https://eprints.whiterose.ac.uk/id/eprint/118706

UR  - https://doi.org/10.1007/978-3-319-60225-7_8

PY  - 2017/05/28

AU  - Derrick J

AU  - Smith G

ED  - Bouajjani A

ED  - Silva A

DO  - DOI: 10.1007/978-3-319-60225-7_8

PB  - Springer, Cham

SN  - 9783319602240

IS  - 10321

SP  - 108

EP  - 123

Y2  - 2025/11/27

ER  -