Alternating Nonzero Automata.

Paulin Fournier, Hugo Gimbert

Browse the full CONCUR paper archive.