Concurrency bugs in multithreaded software: modeling and analysis using Petri nets (Q2393141): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claims
RedirectionBot (talk | contribs)
Changed an Item
Property / author
 
Property / author: Scott A. Mahlke / rank
 
Normal rank
Property / author
 
Property / author: Spyros A. Reveliotis / rank
 
Normal rank

Revision as of 14:31, 27 February 2024

scientific article
Language Label Description Also known as
English
Concurrency bugs in multithreaded software: modeling and analysis using Petri nets
scientific article

    Statements

    Concurrency bugs in multithreaded software: modeling and analysis using Petri nets (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    7 August 2013
    0 references
    concurrent software
    0 references
    deadlock analysis
    0 references
    modeling
    0 references
    Petri nets
    0 references
    shared-memory multithreaded programs
    0 references
    lock acquisition
    0 references
    liveness
    0 references
    reversibility
    0 references
    linear separability
    0 references
    discrete-event system techniques
    0 references
    Gadara nets
    0 references

    Identifiers