Research Commons
      • Browse 
        • Communities & Collections
        • Titles
        • Authors
        • By Issue Date
        • Subjects
        • Types
        • Series
      • Help 
        • About
        • Collection Policy
        • OA Mandate Guidelines
        • Guidelines FAQ
        • Contact Us
      • My Account 
        • Sign In
        • Register
      View Item 
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computer Science Working Paper Series
      • 2006 Working Papers
      • View Item
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computer Science Working Paper Series
      • 2006 Working Papers
      • View Item
      JavaScript is disabled for your browser. Some features of this site may not work without it.

      State- and event-based refinement

      Reeves, Steve; Streader, David
      Thumbnail
      Files
      content.pdf
      117.1Kb
      Citation
      Export 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.
      Permanent Research Commons link: https://hdl.handle.net/10289/54
      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.
      Date
      2006-09-01
      Type
      Working Paper
      Report No.
      09/2006
      Publisher
      Department of Computer Science, University of Waikato
      Collections
      • 2006 Working Papers [10]
      Show full item record  

      Usage

      Downloads, last 12 months
      36
       
       

      Usage Statistics

      For this itemFor all of Research Commons

      The University of Waikato - Te Whare Wānanga o WaikatoFeedback and RequestsCopyright and Legal Statement