Fatès, Nazim; Marcovici, Irène; Taati, Siamak
(IOS Press BV, 2022)
Given a finite set of local constraints, we seek a cellular automaton (i.e., a local and uniform algorithm) that self-stabilises on the configurations that satisfy these constraints. More precisely, starting from a finite ...