Readies and Failures in the Algebra of Communicating Processes (Q3833645)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Readies and Failures in the Algebra of Communicating Processes
scientific article

    Statements

    Readies and Failures in the Algebra of Communicating Processes (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    1988
    0 references
    0 references
    0 references
    0 references
    0 references
    process algebra
    0 references
    concurrency
    0 references
    readiness semantics
    0 references
    failure semantics
    0 references
    bisimulation semantics
    0 references
    0 references