Pages that link to "Item:Q1641012"
From MaRDI portal
The following pages link to On reducing linearizability to state reachability (Q1641012):
Displaying 15 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)
- On the complexity of linearizability (Q2218465) (← links)
- Decomposing data structure commutativity proofs with \(mn\)-differencing (Q2234060) (← links)
- On elimination of state constraints in the construction of reachable sets (Q2631299) (← links)
- Decomposable Relaxation for Concurrent Data Structures (Q2971134) (← links)
- (Q3449468) (redirect page) (← links)
- (Q4806211) (← links)
- Reachability in Parameterized Systems: All Flavors of Threshold Automata (Q5009433) (← links)
- Verifying Visibility-Based Weak Consistency (Q5041095) (← links)
- (Q5090915) (← links)
- (Q5111629) (← links)
- Model Checking Software (Q5308380) (← links)
- Strict Linearizability and Abstract Atomicity (Q5859670) (← links)