Skiplist-based concurrent priority queues | IEEE Conference Publication | IEEE Xplore