On the complementation of Büchi asynchronous cellular automata

DOI10.1007/3-540-58201-0_64zbMath1422.68166OpenAlexW1523182928MaRDI QIDQ4632422

Anca Muscholl

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

zbMATH Keywords

cellular automatondependence graphglobal statereal traceprogress measure

Mathematics Subject Classification ID

Cellular automata (computational aspects) (68Q80)

Related Items (5)

On the complementation of asynchronous cellular Büchi automata ⋮ Asynchronous cellular automata for pomsets without auto-concurrency ⋮ Keeping track of the latest gossip in a distributed system ⋮ Determinizing asynchronous automata ⋮ Compositional synthesis of asynchronous automata

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the complementation of Büchi asynchronous cellular automata