Login / Signup
A Process-Calculus Analysis of Concurrent Operations on B-Trees.
Anna Philippou
David Walker
Published in:
J. Comput. Syst. Sci. (2001)
Keyphrases
</>
b tree
information retrieval
index structure
concurrency control