Formalization and correctness of a concurrent linear hash structure algorithm using nested transactions and I/O automata

DOI10.1016/S0169-023X(01)00005-2zbMath0972.68050MaRDI QIDQ2734633

No author found.

Publication date: 20 August 2001

Published in: Data & Knowledge Engineering (Search for Journal in Brave)

zbMATH Keywords

concurrency control algorithm; nested transaction model

Mathematics Subject Classification ID

68P10: Searching and sorting