Petit: Asynchronous cellular automata for infinite traces (1992)

by P Gastin, A
Venue:Proc. ICALP ’92, LNCS 623