Algorithmic probabilistic game semantics. Playing games with automata (Q2248076)

From MaRDI portal
Revision as of 23:07, 19 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
scientific article
Language Label Description Also known as
English
Algorithmic probabilistic game semantics. Playing games with automata
scientific article

    Statements

    Algorithmic probabilistic game semantics. Playing games with automata (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    30 June 2014
    0 references
    probabilistic computation
    0 references
    probabilistic automata
    0 references
    contextual equivalence
    0 references
    full abstraction
    0 references
    game semantics
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references