Algebraic theory of probabilistic and nondeterministic processes. (Q1400156)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Algebraic theory of probabilistic and nondeterministic processes.
scientific article

    Statements

    Algebraic theory of probabilistic and nondeterministic processes. (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    13 August 2003
    0 references
    Process algebra
    0 references
    Probabilistic and nondeterministic processes
    0 references
    Testing semantics
    0 references
    Denotational semantics
    0 references
    Proof system
    0 references

    Identifiers