Article ID Journal Published Year Pages File Type
9657879 Theoretical Computer Science 2005 33 Pages PDF
Abstract
We also prove that two recent generalizations of data refinement, weak refinement and coupled refinement can be derived from ASM refinement.
Keywords
Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics
Preview
ASM refinement and generalizations of forward simulation in data refinement: a comparison
Authors
,