K. Culik;L. P. Hurd;S. Yu
-;-;-
Theory of cellular automata: a survey
Theoretical Computer Science
Abstract compositional analysis of iterated relations: a structural approach to complex state transition systems