Pages that link to "Item:Q442277"

The following pages link to Virtual world consistency: a condition for STM systems (with a versatile protocol with invisible read operations) (Q442277):

Displayed 3 items.

• Mechanized proofs of opacity: a comparison of two techniques (Q1673658) ‎ (← 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)