A framework for (de)composing with Boolean automata networks

Kévin Perrot, Pacôme Perrotin, Sylvain Sené

Boolean automata networks (BANs) are a generalisation of Boolean cellular automata. In such, any theorem describing the way BANs compute information is a strong tool that can be ap…