Brief Announcement: Generalising Concurrent Correctness to Weak Memory
S. Doherty, B. Dongol, H. Wehrheim, J. Derrick, in: 32nd International Symposium on Distributed Computing, DISC 2018, New Orleans, LA, USA, October 15-19, 2018, 2018, pp. 45:1-45:3.