On divergence-sensitive weak probabilistic bisimilarity (Q6040671)

From MaRDI portal
scientific article; zbMATH DE number 7687220
Language Label Description Also known as
English
On divergence-sensitive weak probabilistic bisimilarity
scientific article; zbMATH DE number 7687220

    Statements

    On divergence-sensitive weak probabilistic bisimilarity (English)
    0 references
    0 references
    0 references
    0 references
    19 May 2023
    0 references
    0 references
    concurrency
    0 references
    probabilistic automaton
    0 references
    weak probabilistic bisimulation
    0 references
    divergence
    0 references
    verification
    0 references