Discussion of Naming


As indicated by the definition, ``history equivalent'' is closely related to snapshot equivalent (-E3). History equivalence is a natural extension to histories of the basic notion of snapshot equivalence (+E8).