ELB-Trees, An Efficient and Lock-free B-tree Derivative
arXiv:1308.6145
Abstract
This technical report is an extension of the paper of the same title, which is to appear at MUCOCOS'13. The technical report proves correctness of the ELB-trees operations' semantics and that the operations are lock-free.