Pages that link to "Item:Q3177890"
From MaRDI portal
The following pages link to Characterizing Transactional Memory Consistency Conditions Using Observational Refinement (Q3177890):
Displaying 4 items.
- Correctness of concurrent executions of closed nested transactions in transactional memory systems (Q391262) (← links)
- Proving opacity of transactional memory with early release (Q902713) (← links)
- Checking robustness between weak transactional consistency models (Q2233450) (← links)
- (Q4967167) (← links)