State- and event-based refinement

Simple item page
dc.contributor.authorReeves, Steveen_US
dc.contributor.authorStreader, Daviden_US
dc.date.accessioned2008-03-19T04:58:28Z
dc.date.available2007-04-29en_US
dc.date.available2008-03-19T04:58:28Z
dc.date.issued2006-09-01en_US
dc.description.abstractIn 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.en_US
dc.format.mimetypeapplication/pdf
dc.identifier.citationReeves, S., & Streader, D. (2006). State- and event-based refinement. (Working paper series. University of Waikato, Department of Computer Science. No. 09/2006). Hamilton, New Zealand: University of Waikato.en_US
dc.identifier.urihttps://hdl.handle.net/10289/54
dc.language.isoen
dc.publisherDepartment of Computer Science, University of Waikatoen_NZ
dc.subjectdata refinementen_US
dc.subjectprocess refinementen_US
dc.subjectsingleton failuresen_US
dc.titleState- and event-based refinementen_US
dc.typeWorking Paperen_US
pubs.elements-id53347
uow.relation.series09/2006en_NZ
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
content.pdf
Size:
117.11 KB
Format:
Adobe Portable Document Format
Thumbnail Image
Name: content.pdf
Size: 117.11 KB
Kind: Adobe PDF
Collections
2006 Working Papers