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]

Authors

Simon Doherty

This author has not been identified. Look up 'Simon Doherty' in Google

Brijesh Dongol

This author has not been identified. Look up 'Brijesh Dongol' in Google

Heike Wehrheim

This author has not been identified. Look up 'Heike Wehrheim' in Google

John Derrick

This author has not been identified. Look up 'John Derrick' in Google