Data refinement and singleton failures refinement are not equivalent
Authors
Loading...
Permanent Link
Publisher link
Rights
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.
Citation
Reeves, S., & Streader, D. (2008). Data refinement and singleton failures refinement are not equivalent. Formal Aspects of Computing, 20(3), 295-301.
Type
Series name
Date
Publisher
Springer