Line-up
From MaRDI portal
Cited in
(13)- TSO-to-TSO linearizability is undecidable
- On the complexity of linearizability
- RGITL
- Checking causal consistency of distributed databases
- Concurrent Library Correctness on the TSO Memory Model
- A sound and complete proof technique for linearizability of concurrent data structures
- Liveness-Preserving Atomicity Abstraction
- Unifying Operational Weak Memory Verification: An Axiomatic Approach
- scientific article; zbMATH DE number 7407781 (Why is no real title available?)
- SprayList
- Linearizability with ownership transfer
- Linearizability on hardware weak memory models
- Balancing expressiveness in formal approaches to concurrency
This page was built for software: Line-up
