Data refinement and singleton failures refinement are not equivalent
- Reeves, Steve
- Streader, David
Publication date
January 2008
DOI Publisher
Springer ISSN
0934-5043 Citation count (estimate)
10Abstract
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
Add to ORKG