Eternity variables to prove simulation of specifications

Wim H. Hesselink

Simulations of specifications are introduced as a unification and generalization of refinement mappings, history variables, forward simulations, prophecy variables, and backward si…