 takes a snapshot of the entire memory, which becomes its new view. Processes can write concurrently and take snapshots concurrently, but each snapshot happens immediately after its matching write. After the last layer,   returns an output value by applying a task-specific decision map   to its final view.  Figure 00.0 Full-information 