Relating trace refinement and linearizability (Q1688548)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Relating trace refinement and linearizability
scientific article

    Statements

    Relating trace refinement and linearizability (English)
    0 references
    0 references
    0 references
    8 January 2018
    0 references
    0 references
    trace refinement
    0 references
    linearizability
    0 references
    correctness
    0 references
    concurrency
    0 references
    0 references
    0 references
    0 references