| dc.contributor.author | Reeves, Steve | en_US |
| dc.contributor.author | Streader, David | en_US |
| dc.date.accessioned | 2008-03-19T04:58:28Z | |
| dc.date.available | 2007-04-29 | en_US |
| dc.date.available | 2008-03-19T04:58:28Z | |
| dc.date.issued | 2006-09-01 | en_US |
| dc.identifier.citation | Reeves, 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.uri | https://hdl.handle.net/10289/54 | |
| dc.description.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. | en_US |
| dc.format.mimetype | application/pdf | |
| dc.language.iso | en | |
| dc.publisher | Department of Computer Science, University of Waikato | en_NZ |
| dc.subject | data refinement | en_US |
| dc.subject | process refinement | en_US |
| dc.subject | singleton failures | en_US |
| dc.title | State- and event-based refinement | en_US |
| dc.type | Working Paper | en_US |
| uow.relation.series | 09/2006 | en_NZ |
| pubs.elements-id | 53347 | |
