Remarks on Testing Probabilistic Processes (Q2864156)

From MaRDI portal
Revision as of 03:56, 7 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Remarks on Testing Probabilistic Processes
scientific article

    Statements

    title
    Remarks on Testing Probabilistic Processes (English)
    0 references
    author
    Yu-xin Deng
    0 references
    Chenyi Zhang
    0 references
    Robert J. van Glabbeek
    0 references
    Matthew C. B. Hennessy
    0 references
    Carroll Morgan
    0 references
    publication date
    6 December 2013
    0 references
    Mathematics Subject Classification ID
    68Q55
    0 references
    68Q85
    0 references
    68Q87
    0 references
    zbMATH DE Number
    6236112
    0 references
    zbMATH Keywords
    probabilistic processes
    0 references
    nondeterminism
    0 references
    CSP
    0 references
    transition systems
    0 references
    testing equivalences
    0 references
    simulation
    0 references
    complete axiomatisations
    0 references
    structural operational semantics
    0 references
    OpenAlex ID
    W2039139411
    0 references
    cites work
    Q2769588
    0 references
    Q4843177
    0 references
    Q4535031
    0 references
    Q3947096
    0 references
    Q3997501
    0 references
    Q3777424
    0 references
    Q3203061
    0 references
    Q2760248
    0 references
    Q4223011
    0 references
    Q5656368
    0 references
    Q3992568
    0 references
    Q4536613
    0 references
    Q2847403
    0 references
    Q3907077
    0 references
    Q4536612
    0 references
    Probabilistic automata
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2864156&oldid=35364052"
    Powered by MediaWiki