Completeness of ASM Refinement

This publication has 10 references indexed in Scilit:

• Universal extensions to simulate specifications
  Information and Computation, 2008
• Splitting forward simulations to copewith liveness
  Acta Informatica, 2006
• ASM refinement and generalizations of forward simulation in data refinement: a comparison
  Theoretical Computer Science, 2005
• Eternity variables to prove simulation of specifications
  ACM Transactions on Computational Logic, 2005
• The ASM Refinement Method
  Formal Aspects of Computing, 2003
• Relation-algebraic semantics
  Theoretical Computer Science, 1996
• Forward and Backward Simulations
  Information and Computation, 1995
• Proving correctness with respect to nondeterministic safety specifications
  Information Processing Letters, 1991
• The existence of refinement mappings
  Theoretical Computer Science, 1991
• Power domains
  Journal of Computer and System Sciences, 1978