Asynchronous cellular automata for infinite traces (0)

by Paul Gastin, Antoine Petit
Venue:Automata, Languages and Programming, volume 623 of Lecture