Quantitative Reasoning for Proving Lock-Freedom (Q5271049)

From MaRDI portal
scientific article; zbMATH DE number 6738792
Language Label Description Also known as
English
Quantitative Reasoning for Proving Lock-Freedom
scientific article; zbMATH DE number 6738792

    Statements

    Quantitative Reasoning for Proving Lock-Freedom (English)
    0 references
    0 references
    0 references
    0 references
    3 July 2017
    0 references
    concurrency
    0 references
    non-blocking data structures
    0 references
    lock-freedom
    0 references
    liveness, separation logic
    0 references
    quantitative analysis
    0 references

    Identifiers

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