Additive models of probabilistic processes (Q1607220)

From MaRDI portal
Revision as of 03:48, 1 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Additive models of probabilistic processes
scientific article

    Statements

    Additive models of probabilistic processes (English)
    0 references
    0 references
    31 July 2002
    0 references
    0 references
    probabilistic process
    0 references
    transitional semantics
    0 references
    strong bisimulation
    0 references
    bisimulation
    0 references
    observation congruence
    0 references