Monte Carlo Methods for Process Algebra (Q5262967)

From MaRDI portal
scientific article; zbMATH DE number 6457592
Language Label Description Also known as
English
Monte Carlo Methods for Process Algebra
scientific article; zbMATH DE number 6457592

    Statements

    Monte Carlo Methods for Process Algebra (English)
    0 references
    0 references
    0 references
    10 July 2015
    0 references
    Monte Carlo model checking
    0 references
    I/O automata
    0 references
    simulation
    0 references
    bisimulation
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references