Attempting guards in parallel: A data flow approach to execute generalized guarded commands (Q688830)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Attempting guards in parallel: A data flow approach to execute generalized guarded commands
scientific article

    Statements

    Attempting guards in parallel: A data flow approach to execute generalized guarded commands (English)
    0 references
    0 references
    27 March 1994
    0 references
    communicating sequential processes
    0 references
    data-driven evaluation
    0 references
    fairness
    0 references
    liveness
    0 references
    safety
    0 references
    generalized guarded commands
    0 references

    Identifiers