Pages that link to "Item:Q2933772"
From MaRDI portal
The following pages link to On the liveness of transactional memory (Q2933772):
Displaying 5 items.
- Liveness-Preserving Atomicity Abstraction (Q3012940) (← links)
- Characterizing Transactional Memory Consistency Conditions Using Observational Refinement (Q3177890) (← links)
- (Q4967228) (← links)
- Universal constructions that ensure disjoint-access parallelism and wait-freedom (Q5890930) (← links)
- Achieving starvation-freedom with greater concurrency in multi-version object-based transactional memory systems (Q6536335) (← links)