@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}},

 isbn = {{9783959770927}},

 volume = {{121}},

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

 note = {{Accessed on 2024/12/26}}}