Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
|
 |
Eternity Variables to Simulate Specifications
| |
|
Eternity Variables to Simulate Specifications
Wim H. Hesselink6 
| (6) |
Dept. of Mathematics and Computing Science, University of Groningen, P.O.Box 800, 9700 AV Groningen, The Netherlands |
Abstract
Simulation of specifications is introduced as a unification and generalisation of refinement mappings, history variables,
forward simulations, prophecy variables, and backward simulations.
Eternity variables are introduced as a more powerful alternative for prophecy variables and backward simulations. This formalism
is semantically complete: every simulation is a composition of a forward simulation, an extension with eternity variables,
and a refinement mapping. The finiteness and continuity conditions of the Abadi-Lamport Theorem are unnecessary for this result.
Fulltext Preview (Small, Large)
 References secured to subscribers.
|
|
|
|
|
|