Achieving a consistent view of the state of concurrent computations is helpful in verifying the correct operation of those computations. The authors have made a contribution to  theory  by designing an algorithm that takes an atomic snapshot of computations. The work is supplemented by a large bibliography.