Pages that link to "Item:Q442277"
From MaRDI portal
The following pages link to Virtual world consistency: a condition for STM systems (with a versatile protocol with invisible read operations) (Q442277):
Displayed 4 items.
- Mechanized proofs of opacity: a comparison of two techniques (Q1673658) (← links)
- Last-use opacity: a strong safety property for transactional memory with prerelease support (Q2146873) (← links)
- A Versatile STM Protocol with Invisible Read Operations That Satisfies the Virtual World Consistency Condition (Q3408177) (← links)
- Verifying Opacity of a Transactional Mutex Lock (Q5206950) (← links)