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

VL  - 121

Y2  - 2025/11/27

ER  -