Pages that link to "Item:Q453508"
From MaRDI portal
The following pages link to Verification of STM on relaxed memory models (Q453508):
Displaying 4 items.
- Weak atomicity for the x86 memory consistency model (Q455998) (← links)
- Effective abstractions for verification under relaxed memory models (Q681346) (← links)
- (Q3130545) (← links)
- A Versatile STM Protocol with Invisible Read Operations That Satisfies the Virtual World Consistency Condition (Q3408177) (← links)