Polynomial Synthesis of Asynchronous Automata

Nicolas Baudru, Rémi Morin

Zielonka's theorem shows that each regular set of Mazurkiewicz traces can be implemented as a system of synchronized processes with a distributed control structure called asynchron…