Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata.

Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor Walukiewicz

Browse the full ICALP paper archive.