Reachability problems on reliable and lossy queue automata (Q825976)

From MaRDI portal
Revision as of 13:49, 27 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
Reachability problems on reliable and lossy queue automata
scientific article

    Statements

    title
    Reachability problems on reliable and lossy queue automata (English)
    0 references
    author
    Chris Köcher
    0 references
    publication date
    18 December 2021
    0 references
    zbMATH Keywords
    partially lossy queue
    0 references
    queue automaton
    0 references
    reachability
    0 references
    verification
    0 references
    cites work
    Q4223067
    0 references
    Q2754086
    0 references
    Q5590814
    0 references
    Q5129947
    0 references
    Q3304144
    0 references
    Q4506483
    0 references
    Q3859267
    0 references

    Identifiers

    zbMATH DE Number
    7449501
    0 references
    OpenAlex ID
    W3174765282
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q825976&oldid=36752032"
    Powered by MediaWiki