Pages that link to "Item:Q470040"
From MaRDI portal
The following pages link to Towards formally specifying and verifying transactional memory (Q470040):
Displayed 5 items.
- Correctness of concurrent executions of closed nested transactions in transactional memory systems (Q391262) (← links)
- Towards formally specifying and verifying transactional memory (Q470040) (← links)
- Proving opacity of transactional memory with early release (Q902713) (← links)
- Mechanized proofs of opacity: a comparison of two techniques (Q1673658) (← links)
- Verifying Opacity of a Transactional Mutex Lock (Q5206950) (← links)