Data refinement and singleton failures refinement are not equivalent

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 literatur...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Formal aspects of computing 2008-05, Vol.20 (3), p.295-301
Hauptverfasser:	Reeves, Steve, Streader, David
Format:	Artikel
Sprache:	eng
Schlagworte:	Applied sciences Computer Science Computer science control theory systems Exact sciences and technology Math Applications in Computer Science Miscellaneous Original Article Theoretical computing Theory of Computation
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	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.
ISSN:	0934-5043 1433-299X
DOI:	10.1007/s00165-008-0076-5