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):
Displaying 7 items.
- Towards a universal construction for transaction-based multiprocess programs (Q391265) (← links)
- A single-version STM that is multi-versioned permissive (Q693077) (← links)
- 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)
- A verified durable transactional mutex lock for persistent x86-TSO (Q6661756) (← links)