Pages that link to "Item:Q2218465"
From MaRDI portal
The following pages link to On the complexity of linearizability (Q2218465):
Displaying 8 items.
- Linearity of algorithms and a result of Ando (Q1179033) (← links)
- TSO-to-TSO linearizability is undecidable (Q1629746) (← links)
- On reducing linearizability to state reachability (Q1641012) (← links)
- Linear Realizability (Q3608428) (← links)
- (Q4599177) (← links)
- The Density of Linear-Time Properties (Q5096080) (← links)
- (Q5111629) (← links)
- Intermediate value linearizability: a quantitative correctness criterion (Q6534999) (← links)