Pages that link to "Item:Q1641012"
From MaRDI portal
The following pages link to On reducing linearizability to state reachability (Q1641012):
Displayed 11 items.
- On reducing linearizability to state reachability (Q1641012) (← links)
- Decidability and complexity for quiescent consistency and its variations (Q1680503) (← links)
- On the correctness problem for serializability (Q2119957) (← links)
- Decomposing data structure commutativity proofs with \(mn\)-differencing (Q2234060) (← links)
- Decomposable Relaxation for Concurrent Data Structures (Q2971134) (← links)
- (Q3449468) (redirect page) (← links)
- Reachability in Parameterized Systems: All Flavors of Threshold Automata (Q5009433) (← links)
- Verifying Visibility-Based Weak Consistency (Q5041095) (← links)
- (Q5090915) (← links)
- (Q5111629) (← links)
- Strict Linearizability and Abstract Atomicity (Q5859670) (← links)