On the complementation of Büchi asynchronous cellular automata (Q4632422)

From MaRDI portal
Revision as of 16:41, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article; zbMATH DE number 7048670
Language Label Description Also known as
English
On the complementation of Büchi asynchronous cellular automata
scientific article; zbMATH DE number 7048670

    Statements

    On the complementation of Büchi asynchronous cellular automata (English)
    0 references
    0 references
    29 April 2019
    0 references
    cellular automaton
    0 references
    global state
    0 references
    dependence graph
    0 references
    progress measure
    0 references
    real trace
    0 references

    Identifiers