Data refinement and singleton failures refinement are not equivalent
Data refinement and singleton failures refinement are not equivalent
Abstract
In this paper, we give simple example abstract data types, with atomic operations, that are related by data refinement under a definition used widely in the literature, but these same abstract data types are not related by singleton failure refinement. This contradicts results found in the literature.
Type
Journal Article
Type of thesis
Series
Citation
Reeves, S., & Streader, D. (2008). Data refinement and singleton failures refinement are not equivalent. Formal Aspects of Computing, 20(3), 295-301.
Date
2008
Publisher
Springer