![](/img/cover-not-exists.png)
Modelling concurrent objects running on the TSO and ARMv8 memory models
Winter, Kirsten, Smith, Graeme, Derrick, JohnVolume:
184
Journal:
Science of Computer Programming
DOI:
10.1016/j.scico.2019.102308
Date:
October, 2019
File:
PDF, 706 KB
2019