Line-up
From MaRDI portal
Software:30257
No author found.
Related Items (11)
Concurrent Library Correctness on the TSO Memory Model ⋮ TSO-to-TSO linearizability is undecidable ⋮ Unifying Operational Weak Memory Verification: An Axiomatic Approach ⋮ A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures ⋮ Balancing expressiveness in formal approaches to concurrency ⋮ Checking causal consistency of distributed databases ⋮ On the complexity of linearizability ⋮ Liveness-Preserving Atomicity Abstraction ⋮ Linearizability with Ownership Transfer ⋮ Linearizability on hardware weak memory models ⋮ Unnamed Item
This page was built for software: Line-up
