2026-07-22T18:34:28Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:9834 2024-03-06T10:45:02Z ddc:004 open_access

Brief Announcement: Generalising Concurrent Correctness to Weak Memory Doherty, Simon Dongol, Brijesh Wehrheim, Heike Derrick, John Weak Memory Concurrent Object Execution Structure Correctness conditions like linearizability and opacity describe some form of atomicity imposed on concurrent objects. In this paper, we propose a correctness condition (called causal atomicity) for concurrent objects executing in a weak memory model, where the histories of the objects in question are partially ordered. We establish compositionality and abstraction results for causal atomicity and develop an associated refinement-based proof technique. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Simon Doherty and Brijesh Dongol and Heike Wehrheim and John Derrick 2018 Is Part Of LIPIcs, Volume 121, 32nd International Symposium on Distributed Computing (DISC 2018) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.DISC.2018.45 urn:nbn:de:0030-drops-98344 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.DISC.2018.45 eng https://creativecommons.org/licenses/by/3.0/legalcode