Qiyi Tang.
{{public:qiyi.pdf|Concurrent Computation of Bisimilarity Distances}}.

Mingbin Xu.
{{public:xmb.pdf|Concurrent Priority Queue Using Lock-based Skiplist}}.