swMATH18417MaRDI QIDQ30257FDOQ30257
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?id=1806634
Cited In (13)
- Unifying Operational Weak Memory Verification: An Axiomatic Approach
- Balancing expressiveness in formal approaches to concurrency
- Concurrent Library Correctness on the TSO Memory Model
- Liveness-Preserving Atomicity Abstraction
- TSO-to-TSO linearizability is undecidable
- Linearizability with ownership transfer
- Title not available (Why is that?)
- RGITL
- SprayList
- Checking causal consistency of distributed databases
- A sound and complete proof technique for linearizability of concurrent data structures
- Linearizability on hardware weak memory models
- On the complexity of linearizability
This page was built for software: Line-up
