TY  - JOUR

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

JO  - Science of Computer Programming

PY  - 2019/10/01

AU  - Winter K

AU  - Smith G

AU  - Derrick J

ED  - 

DO  - DOI: 10.1016/j.scico.2019.102308

PB  - Elsevier

VL  - 184

SP  - ---

Y2  - 2025/11/27

ER  -