A Rigorous Analysis of Concurrent Operations on B-Trees.

Anna Philippou, David Walker

Browse the full CONCUR paper archive.