will describe a discrete model of spacetime which is quantum-mechanical,
causal, and background free. The kinematics is described by networks whose
vertices are labelled with arrows. These networks can be evolved forwards (or
backwards) in time by using unitary replacement rules. The arrow structure
permits one to define dynamics without using an absolute time parameter.
Based on arXiv:1201.2489.