Lock-free Concurrent Data Structures and How to Model their Performance | IEEE Conference Publication | IEEE Xplore