A process-calculus analysis of concurrent operations on B-trees (Q5943122)

From MaRDI portal
scientific article; zbMATH DE number 1642266
Language Label Description Also known as
English
A process-calculus analysis of concurrent operations on B-trees
scientific article; zbMATH DE number 1642266

    Statements

    Identifiers