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
      • Computing and Mathematical Sciences Papers
      • View Item
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computing and Mathematical Sciences Papers
      • View Item
      JavaScript is disabled for your browser. Some features of this site may not work without it.

      Guarded operations, refinement and simulation

      Reeves, Steve; Streader, David
      Thumbnail
      Files
      Guarded operations.pdf
      153.4Kb
      DOI
       10.1016/j.entcs.2009.12.024
      Find in your library  
      Citation
      Export citation
      Reeves, S. & Streader, D. (2009). Guarded operations, refinement and simulation. Electronic Notes in Theoretical Computer Science, 259, 177-191.
      Permanent Research Commons link: https://hdl.handle.net/10289/3722
      Abstract
      Simulation rules have long been used as an effective computational means to decide refinement relations in state-based formalisms. Here we investigate how they might be amended so as to decide the event-based notion of singleton failures refinement of abstract data types, or processes, that have operations with a “guarded” interpretation.
      Date
      2009
      Type
      Journal Article
      Publisher
      Elsevier
      Rights
      This is an author’s accepted version of an article published in the journal: Electronic Notes in Theoretical Computer Science. © 2009 Elsevier B. V.
      Collections
      • Computing and Mathematical Sciences Papers [1454]
      Show full item record  

      Usage

      Downloads, last 12 months
      48
       
       
       

      Usage Statistics

      For this itemFor all of Research Commons

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