Pages that link to "Item:Q5429339"
From MaRDI portal
The following pages link to Comparison Under Abstraction for Verifying Linearizability (Q5429339):
Displayed 9 items.
- Parametrized invariance for infinite state processes (Q493122) (← links)
- Proving linearizability with temporal logic (Q539223) (← links)
- A relational shape abstract domain (Q2058389) (← links)
- Concurrent correctness in vector space (Q2234067) (← links)
- A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures (Q2946743) (← links)
- Liveness-Preserving Atomicity Abstraction (Q3012940) (← links)
- Model Checking Simulation Rules for Linearizability (Q4571132) (← links)
- Verifying Visibility-Based Weak Consistency (Q5041095) (← links)
- (Q5090915) (← links)