TY  - JOUR

T1  - Modelling concurrent objects running on the TSO and ARMv8 memory models

JO  - Science of Computer Programming

UR  - http://eprints.whiterose.ac.uk/151638/

PY  - 2019/09/26

AU  - Winter K

AU  - Smith G

AU  - Derrick J

ED  - 

DO  - DOI: 10.1016/j.scico.2019.102308

PB  - Elsevier

Y2  - 2024/12/22

ER  -