Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC (Q2633503)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC
scientific article

    Statements

    Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC (English)
    0 references
    9 May 2019
    0 references
    stochastic process algebra
    0 references
    Petri box calculus
    0 references
    discrete time
    0 references
    immediate multiaction
    0 references
    operational and denotational semantics
    0 references
    semi-Markov chain
    0 references
    performance evaluation
    0 references
    stochastic equivalence
    0 references
    reduction
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

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