Testing preorders for probabilistic processes can be characterized by simulations (Q1603706)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Testing preorders for probabilistic processes can be characterized by simulations
scientific article

    Statements

    Testing preorders for probabilistic processes can be characterized by simulations (English)
    0 references
    0 references
    0 references
    15 July 2002
    0 references
    probabilistic transition system
    0 references
    semantics
    0 references
    probabilistic testing
    0 references
    refinement and simulation
    0 references

    Identifiers