Deadlock checking by a behavioral effect system for lock handling (Q444480)

From MaRDI portal
Revision as of 13:09, 5 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Deadlock checking by a behavioral effect system for lock handling
scientific article

    Statements

    Deadlock checking by a behavioral effect system for lock handling (English)
    0 references
    0 references
    0 references
    0 references
    14 August 2012
    0 references
    concurrency
    0 references
    deadlock prevention
    0 references
    static analysis
    0 references
    behavioral type and effect systems
    0 references
    simulation relation
    0 references
    abstraction
    0 references
    0 references
    0 references
    0 references

    Identifiers