A rigorous analysis of concurrent operations on B-trees

DOI10.1007/3-540-63141-0_25MaRDI QIDQ6044129zbMATH OpenOpenAlexFDO

Authors

Publication date 17 May 2023

Published in CONCUR '97: Concurrency Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-63141-0_25

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A process-calculus analysis of concurrent operations on B-trees
• Concurrent operations on \(B^ *\)-trees with overtaking
• scientific article; zbMATH DE number 2033285
• scientific article; zbMATH DE number 2241920
• Unsafe operations in B-trees

Cites work

• A New Method for Concurrency in B-Trees
• B-trees in a system with multiple users
• Concurrency of operations on B-trees
• Concurrent operations on \(B^ *\)-trees with overtaking
• Confluence of processes and systems of objects
• Efficient locking for concurrent operations on B-trees
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• On transformations of concurrent object programs
• Organization and maintenance of large ordered indexes

Cited in

(7)

• Unsafe operations in B-trees
• scientific article; zbMATH DE number 2033285 (Why is no real title available?)
• Reasoning about B+ trees with operational semantics and separation logic
• Partial updates
• scientific article; zbMATH DE number 2241920 (Why is no real title available?)
• Concurrent operations on \(B^ *\)-trees with overtaking
• A process-calculus analysis of concurrent operations on B-trees

This page was built for publication: A rigorous analysis of concurrent operations on B-trees

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6044129)