LNCS 7392 - Causal Graph Dynamics Page 1 Causal Graph Dynamics ⋆ Pablo Arrighi1,2 and
Gilles Dowek3 1 Université de Grenoble, LIG, 220 rue de la chimie, 38400 SMH, France 2 …

The formalism of quantum theory over discrete systems is extended in two significant ways.
First, tensors and traceouts are generalized, so that systems can be partitioned according to …

It is well-known that cellular automata can be characterized as the set of translation-invariant
continuous functions over a compact metric space; this point of view makes it easy to extend …

We extend the theory of cellular automata to arbitrary, time-varying graphs. In other words
we formalise, and prove theorems about, the intuitive idea of a labelled graph which evolves …

We present a new lattice kinetic method to simulate fluid dynamics in curvilinear geometries
and curved spaces. A suitable discrete Boltzmann equation is solved in contravariant …

Consider a network that evolves reversibly, according to nearest neighbours interactions.
Can its dynamics create/destroy nodes? On the one hand, since the nodes are the principal …

We study non-terminating graph rewriting models, whose local rules are applied non-
deterministically--and yet enjoy a strong form of determinism, namely space-time …

Abstract Causal Graph Dynamics extend Cellular Automata to arbitrary time-varying graphs
of bounded degree. The whole graph evolves in discrete time steps, and this global …

Cayley graphs have a number of useful features: the ability to graphically represent finitely
generated group elements and their relations; to name all vertices relative to a point; and the …

We consider quantum extensions of classical hydrodynamic lattice gas models. We find that
the existence of local conserved quantities strongly constrains such extensions. We find the …