 snapshot_ model (Figure 00.0), the processes share a two-dimensional memory array mem[0.. _N_ -0][0.. _n_ ]. As usual,  's initial view is its input value. At layer   writes its state to mem[ ][ _i_ ] and