Pages that link to "Item:Q470040"

The following pages link to Towards formally specifying and verifying transactional memory (Q470040):

Displaying 9 items.

• Correctness of concurrent executions of closed nested transactions in transactional memory systems (Q391262) (← links)
• Towards formally specifying and verifying transactional memory (Q470040) (← links)
• Proving opacity of transactional memory with early release (Q902713) (← links)
• Mechanized proofs of opacity: a comparison of two techniques (Q1673658) (← links)
• On the correctness problem for serializability (Q2119957) (← links)
• Last-use opacity: a strong safety property for transactional memory with prerelease support (Q2146873) (← links)
• Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory (Q5041273) (← links)
• (Q5101340) (← links)
• Verifying Opacity of a Transactional Mutex Lock (Q5206950) (← links)