Pages that link to "Item:Q3541009"
From MaRDI portal
The following pages link to Completeness and Nondeterminism in Model Checking Transactional Memories (Q3541009):
Displayed 5 items.
- Verification of STM on relaxed memory models (Q453508) (← links)
- Extensible transactional memory testbed (Q666242) (← links)
- Model checking transactional memories (Q2377134) (← links)
- Perspectives on Transactional Memory (Q3184661) (← links)
- Permissiveness in Transactional Memories (Q3540238) (← links)