A process-calculus analysis of concurrent operations on B-trees

DOI10.1006/JCSS.2000.1721MaRDI QIDQ5943122zbMATH OpenOpenAlexFDO

Authors Anna Philippou, David Walker

Publication date 9 September 2001

Published in Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/jcss.2000.1721

zbMATH Keywords

\(\pi\)-calculus\(B\)-tree

Mathematics Subject Classification ID

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

Recommendations

• A rigorous analysis of concurrent operations on B-trees
• Concurrent operations on \(B^ *\)-trees with overtaking
• On confluence in the -calculus
• scientific article; zbMATH DE number 517055
• A calculus of mobile processes. I

Cites work

• scientific article; zbMATH DE number 954809 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• A New Method for Concurrency in B-Trees
• A calculus of communicating systems
• A calculus of mobile processes. II
• Concurrency of operations on B-trees
• Concurrent operations on \(B^ *\)-trees with overtaking
• Efficient locking for concurrent operations on B-trees
• On transformations of concurrent-object programs
• Organization and maintenance of large ordered indexes
• Partial confluence of processes and systems of objects
• The name discipline of uniform receptiveness (extended abstract)

Cited in

(6)

• On some combinatorial properties of Linux process trees
• A rigorous analysis of concurrent operations on B-trees
• scientific article; zbMATH DE number 2033285 (Why is no real title available?)
• On transformations of concurrent-object programs
• On the properties of a tree-structured server process
• Reasoning about B+ trees with operational semantics and separation logic

This page was built for publication: A process-calculus 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 Q5943122)