Line-up
From MaRDI portal
Software:30257
swMATH18417MaRDI QIDQ30257FDOQ30257
Author name not available (Why is that?)
Cited In (11)
- 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?)
- Checking causal consistency of distributed databases
- Linearizability on hardware weak memory models
- On the complexity of linearizability
- A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures
This page was built for software: Line-up
