Verifying linearizability with hindsight (Q5176190)

From MaRDI portal
scientific article; zbMATH DE number 6410381
Language Label Description Also known as
English
Verifying linearizability with hindsight
scientific article; zbMATH DE number 6410381

    Statements

    Verifying linearizability with hindsight (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    2 March 2015
    0 references
    hindsight
    0 references
    linearizability
    0 references
    optimistic concurrency
    0 references
    wait-freedom
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references