Pages that link to "Item:Q2357153"
From MaRDI portal
The following pages link to Non-interference and local correctness in transactional memory (Q2357153):
Displaying 7 items.
- Correctness of concurrent executions of closed nested transactions in transactional memory systems (Q391262) (← links)
- Virtual world consistency: a condition for STM systems (with a versatile protocol with invisible read operations) (Q442277) (← links)
- On avoiding spare aborts in transactional memory (Q493661) (← links)
- An efficient approach to achieve compositionality using optimized multi-version object based transactional systems (Q2139092) (← links)
- Last-use opacity: a strong safety property for transactional memory with prerelease support (Q2146873) (← links)
- (Q4967228) (← links)
- Achieving starvation-freedom with greater concurrency in multi-version object-based transactional memory systems (Q6536335) (← links)