Proving Opacity via Linearizability: A Sound and Complete Method (Q5082190)

From MaRDI portal
scientific article; zbMATH DE number 7542234
Language Label Description Also known as
English
Proving Opacity via Linearizability: A Sound and Complete Method
scientific article; zbMATH DE number 7542234

    Statements

    Proving Opacity via Linearizability: A Sound and Complete Method (English)
    0 references
    0 references
    0 references
    0 references
    15 June 2022
    0 references

    Identifiers

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