Synchronization Problems Solvable by Generalized PV Systems (Q3862421)

From MaRDI portal
Revision as of 18:57, 5 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Synchronization Problems Solvable by Generalized PV Systems
scientific article

    Statements

    Synchronization Problems Solvable by Generalized PV Systems (English)
    0 references
    0 references
    0 references
    0 references
    1980
    0 references
    0 references
    0 references
    0 references
    0 references
    concurrency
    0 references
    synchronisation primitives
    0 references
    PV-systems
    0 references
    vector addition system
    0 references
    Petri net
    0 references
    asynchronous program
    0 references
    system of processes
    0 references
    semaphore
    0 references
    behaviour
    0 references
    parallel system
    0 references
    definable languages
    0 references