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
- RGITL
- SprayList
- scientific article; zbMATH DE number 7407781 (Why is no real title available?)
- 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
