Modelling concurrent objects running on the TSO and ARMv8 memory models.
Saved in:
| Title: | Modelling concurrent objects running on the TSO and ARMv8 memory models. |
|---|---|
| Authors: | Winter, Kirsten1, kirsten@itee.uq.edu.au, Smith, Graeme1, Derrick, John2 |
| Source: | Science of Computer Programming; Oct2019, Vol. 184, pN.PAG-N.PAG, 1p |
| Database: | Applied Science & Technology Source |
| ISSN: | 01676423 |
|---|---|
| DOI: | 10.1016/j.scico.2019.102308 |
