Pages that link to "Item:Q1941870"

The following pages link to Using refinement calculus techniques to prove linearizability (Q1941870):

Displaying 2 items.

• A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures (Q2946743) (← links)
• Strict Linearizability and Abstract Atomicity (Q5859670) (← links)