Bibtex Record:
@workingpaper{
Author = {Reeves, S. and Streader, D.},
Title = {State- and Event-based refinement},
Publisher = {Department of Computer Science, The University of Waikato},
Number = {09/2006},
Pages = {1-8},
Month = {September},
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 abstract data types are not related by singleton failure refinement. This contradicts results found in the literature. Further we show that a common way to change a model of atomic operations to one of value passing operations actually changes the underlying atomic operational semantics.},
Keywords = {Data refinement, process refinement, singleton failures},
URL = {http://www.cs.waikato.ac.nz/pubs/wp/2006/uow-cs-wp-2006-09.pdf},
Year = {2006}
}