Qiyi Tang. Concurrent Computation of Bisimilarity Distances.
Mingbin Xu. Concurrent Priority Queue Using Lock-based Skiplist.