Brief Announcement: Generalising Concurrent Correctness to Weak Memory

Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick. Brief Announcement: Generalising Concurrent Correctness to Weak Memory. In Ulrich Schmid 0001, Josef Widder, editors, 32nd International Symposium on Distributed Computing, DISC 2018, New Orleans, LA, USA, October 15-19, 2018. Volume 121 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [doi]

Abstract

Abstract is missing.