Data refinement and singleton failures refinement are not equivalent
Reeves, S., & Streader, D. (2008). Data refinement and singleton failures refinement are not equivalent. Formal Aspects of Computing, 20(3), 295-301.
Permanent Research Commons link: https://hdl.handle.net/10289/8223
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.