What's Decidable About Causally Consistent Shared Memory?

Ori Lahav, Udi Boker. What's Decidable About Causally Consistent Shared Memory?. ACM Transactions on Programming Languages and Systems, 44(2), 2022. [doi]

Abstract

Abstract is missing.