Synchronizing Boolean networks asynchronously

Julio Aracena, Adrien Richard, Lilian Salinas

The {\em asynchronous automaton} associated with a Boolean network $f:\{0,1{\}}^n\to \{0,1{\}}^n$, considered in many applications, is the finite deterministic automaton where the set o…