TY  - CONF

T1  - Brief announcement: Generalising concurrent correctness to weak memory

JO  - Leibniz International Proceedings in Informatics, LIPIcs

PY  - 2018/10/01

AU  - Doherty S

AU  - Dongol B

AU  - Wehrheim H

AU  - Derrick J

ED  - 

DO  - DOI: 10.4230/LIPIcs.DISC.2018.45

SN  - 9783959770927

VL  - 121

Y2  - 2025/04/27

ER  -