Pages that link to "Item:Q3636871"
From MaRDI portal
The following pages link to Software Transactional Memory on Relaxed Memory Models (Q3636871):
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)
- Model checking transactional memories (Q2377134) (← links)
- (Q3130545) (← links)
- Operational semantics of a weak memory model with channel synchronization (Q5915975) (← links)
- Operational semantics of a weak memory model with channel synchronization (Q5918263) (← links)