Characterising Testing Preorders for Finite Probabilistic Processes (Q3623001)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Characterising Testing Preorders for Finite Probabilistic Processes
scientific article

    Statements

    Characterising Testing Preorders for Finite Probabilistic Processes (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    29 April 2009
    0 references

    Identifiers