Pages that link to "Item:Q3189827"
From MaRDI portal
The following pages link to Semantics of transactional memory and automatic mutual exclusion (Q3189827):
Displaying 9 items.
- Transactional memory (Q666225) (← links)
- Adaptive locks: combining transactions and locks for efficient concurrency (Q666229) (← links)
- Extensible transactional memory testbed (Q666242) (← links)
- A formal semantics of nested atomic sections with thread escape (Q1749114) (← links)
- A model of dynamic separation for transactional memory (Q1959477) (← links)
- Proving Isolation Properties for Software Transactional Memory (Q3000572) (← links)
- Semantics of Concurrent Revisions (Q3000574) (← links)
- Perspectives on Transactional Memory (Q3184661) (← links)
- Gradual type-and-effect systems (Q5371974) (← links)
