Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
9657879 | Theoretical Computer Science | 2005 | 33 Pages |
Abstract
We also prove that two recent generalizations of data refinement, weak refinement and coupled refinement can be derived from ASM refinement.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Gerhard Schellhorn,