7 citations · 15 across the 10 of their papers we have counts for
1 paper · 1 filter
Roland Meyer, Sebastian Wolff
We consider the verification of lock-free data structures that manually manage their memory with the help of a safe memory reclamation (SMR) algorithm. Our first contribution is a…