Pages that link to "Item:Q3541009"
From MaRDI portal
The following pages link to Completeness and Nondeterminism in Model Checking Transactional Memories (Q3541009):
Displayed 7 items.
- Verification of STM on relaxed memory models (Q453508) (← links)
- Towards formally specifying and verifying transactional memory (Q470040) (← links)
- Extensible transactional memory testbed (Q666242) (← links)
- Mechanized proofs of opacity: a comparison of two techniques (Q1673658) (← links)
- Model checking transactional memories (Q2377134) (← links)
- Perspectives on Transactional Memory (Q3184661) (← links)
- Permissiveness in Transactional Memories (Q3540238) (← links)