Modeling multithreaded applications using Petri nets (Q1871095)

From MaRDI portal
Revision as of 22:19, 10 February 2024 by RedirectionBot (talk | contribs) (‎Removed claim: author (P16): Item:Q195285)
scientific article
Language Label Description Also known as
English
Modeling multithreaded applications using Petri nets
scientific article

    Statements

    Modeling multithreaded applications using Petri nets (English)
    0 references
    0 references
    0 references
    6 May 2003
    0 references
    Pthreads
    0 references
    Petri nets
    0 references
    race conditions
    0 references
    deadlocks
    0 references
    lost signals
    0 references

    Identifiers