Sufficient conditions for reachability in automata networks with priorities

Maxime Folschette, Loïc Paulevé, Morgan Magnin, Olivier F. Roux. Sufficient conditions for reachability in automata networks with priorities. Theoretical Computer Science, 608:66-83, 2015. [doi]

Abstract

Abstract is missing.