@inproceedings{inproceedings, title  = {{Brief announcement: Generalising concurrent correctness to weak memory}},

 url = {{}},

 year = {{2018}},

 month = {{10}},

 author = {{Doherty S and Dongol B and Wehrheim H and Derrick J}},

 doi = {{10.4230/LIPIcs.DISC.2018.45}},

 volume = {{121}},

 journal = {{Leibniz International Proceedings in Informatics Lipics}},

 note = {{Accessed on 2025/11/27}}}