Sciweavers

76
Voted
IANDC
2008
81views more  IANDC 2008»
14 years 8 months ago
Universal extensions to simulate specifications
A previous paper introduced eternity variables as an alternative to the prophecy variables of Abadi and Lamport and proved the formalism to be semantically complete: every simulat...
Wim H. Hesselink