The Firing Squad Synchronization Problem for Two-Dimensional Arrays

Kojiro Kobayashi

Published in: Inf. Control. (1977)

Keyphrases

firing squad synchronization
cellular automata
internal states
cellular automaton
input output
intelligent systems
object oriented
model checking
finite state machines