Multi-buffer simulations: decidability and complexity (Q1784963)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Multi-buffer simulations: decidability and complexity
scientific article

    Statements

    Multi-buffer simulations: decidability and complexity (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    27 September 2018
    0 references
    Büchi automata
    0 references
    simulation games
    0 references
    Mazurkiewicz traces
    0 references

    Identifiers