Qiyi Tang. Concurrent Computation of Bisimilarity Distances.

Mingbin Xu. Concurrent Priority Queue Using Lock-based Skiplist.