On the complementation of Büchi asynchronous cellular automata
From MaRDI portal
Recommendations
Cites work
- Asynchronous cellular automata for infinite traces
- Asynchronous mappings and asynchronous cellular automata
- Combinatorial problems of commutation and rearrangements
- Combinatorics on traces
- Determinizing Büchi asynchronous automata
- scientific article; zbMATH DE number 4072393 (Why is no real title available?)
- scientific article; zbMATH DE number 176496 (Why is no real title available?)
- scientific article; zbMATH DE number 512867 (Why is no real title available?)
- Notes on finite asynchronous automata
- On the complementation of Büchi automata
- On the structure of non-manipulable equilibria
Cited in
(8)- On the complementation of asynchronous cellular Büchi automata
- Computation of functions on n bits by asynchronous clocking of cellular automata
- Determinizing Büchi asynchronous automata
- Determinizing asynchronous automata
- Keeping track of the latest gossip in a distributed system
- Compositional synthesis of asynchronous automata
- scientific article; zbMATH DE number 6257036 (Why is no real title available?)
- Asynchronous cellular automata for pomsets without auto-concurrency
This page was built for publication: On the complementation of Büchi asynchronous cellular automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4632422)