From Trees to Tree-Like: Distribution and Synthesis for Asynchronous Automata.

Mathieu Lehaut, Anca Muscholl, Nir Piterman

Browse the full FOSSACS paper archive.