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

From MaRDI portal
Revision as of 19:03, 28 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
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

    Identifiers