On the complementation of Büchi asynchronous cellular automata
From MaRDI portal
Publication:4632422
DOI10.1007/3-540-58201-0_64zbMath1422.68166MaRDI QIDQ4632422
Publication date: 29 April 2019
Published in: Automata, Languages and Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-58201-0_64
68Q80: Cellular automata (computational aspects)
Related Items
Determinizing asynchronous automata, Keeping track of the latest gossip in a distributed system, Asynchronous cellular automata for pomsets without auto-concurrency, Compositional synthesis of asynchronous automata, On the complementation of asynchronous cellular Büchi automata
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Asynchronous mappings and asynchronous cellular automata
- On the structure of non-manipulable equilibria
- Combinatorics on traces
- On the complementation of Büchi automata
- Combinatorial problems of commutation and rearrangements
- Determinizing Büchi asynchronous automata
- Notes on finite asynchronous automata
- Asynchronous cellular automata for infinite traces