TY  - CONF

T1  - Defining correctness conditions for concurrent objects in multicore architectures

JO  - Leibniz International Proceedings in Informatics, LIPIcs

PY  - 2015/07/01

AU  - Dongol B

AU  - Derrick J

AU  - Groves L

AU  - Smith G

ED  - 

DO  - DOI: 10.4230/LIPIcs.ECOOP.2015.470

SN  - 9783939897866

VL  - 37

SP  - 470

EP  - 494

Y2  - 2024/12/22

ER  -