Proving linearizability using forward simulations (Q2164258)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Proving linearizability using forward simulations
scientific article

    Statements

    Proving linearizability using forward simulations (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    12 August 2022
    0 references

    Identifiers