This paper is a contribution to understanding the power and the limita
tions of local computations in graphs. We use local computations to de
fine a notion of graph recognition; our model allows a simulation of a
utomata on words and on trees. We introduce the notion of k-covering t
o examine limitations of such systems. For example, we prove that the
family of series-parallel graphs and the family of planar graphs canno
t be recognized by means of local computations. (C) 1995 Academic Pres
s. Inc.