Step traces (Q5963403)

From MaRDI portal
scientific article; zbMATH DE number 6543009
Language Label Description Also known as
English
Step traces
scientific article; zbMATH DE number 6543009

    Statements

    Step traces (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    19 February 2016
    0 references
    step trace
    0 references
    causality
    0 references
    independence
    0 references
    simultaneity
    0 references
    serialisability
    0 references
    sequentialisability
    0 references
    interleaving
    0 references
    extending concurrency alphabets
    0 references
    dependence graph
    0 references
    dependence structure
    0 references
    invariant order structure
    0 references

    Identifiers