On the complementation of asynchronous cellular Büchi automata

DOI10.1016/S0304-3975(96)00117-XzbMath0874.68222MaRDI QIDQ1349891

Anca Muscholl

Publication date: 27 February 1997

Published in: Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Cellular automata (computational aspects) (68Q80)

Cites Work

• Logical definability on infinite traces
• Asynchronous mappings and asynchronous cellular automata
• Combinatorics on traces
• Deterministic asynchronous automata for infinite traces
• On the complementation of Büchi automata
• Combinatorial problems of commutation and rearrangements
• Determinizing Büchi asynchronous automata
• Notes on finite asynchronous automata
• On the complementation of Büchi asynchronous cellular automata
• Asynchronous cellular automata for infinite traces
• Unnamed Item
• Unnamed Item
• Unnamed Item

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