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.
Cite
@article{arxiv.1308.6145,
title = {ELB-Trees, An Efficient and Lock-free B-tree Derivative},
author = {Lars F. Bonnichsen and Sven Karlsson and Christian W. Probst},
journal= {arXiv preprint arXiv:1308.6145},
year = {2013}
}