research
∙
10/12/2021
A Simple Way to Verify Linearizability of Concurrent Stacks
Linearizability is a commonly accepted correctness criterion for concurr...
research
∙
06/21/2018
Proving Linearizability Using Reduction
Lipton's reduction theory provides an intuitive and simple way for deduc...
research
∙
06/21/2018