Characterizing and Detecting The Set of Global States Seen by all Observers of a Distributed Computation.