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

      Atomic components

      Reeves, Steve; Streader, David
      Thumbnail
      Files
      uow-cs-wp-2004-01.pdf
      232.0Kb
      Find in your library  
      Citation
      Export citation
      Reeves, S. & Streader, D. (2004). Atomic components. (Working paper 01/2004). Hamilton, New Zealand: University of Waikato, Department of Computer Science.
      Permanent Research Commons link: https://hdl.handle.net/10289/1002
      Abstract
      There has been much interest in components that combine the best of state-based and event-based approaches. The interface of a component can be thought of as its specification and substituting components with the same interface cannot be observed by any user of the components. Here we will define the semantics of atomic components where both states and event can be part of the interface. The resulting semantics is very similar to that of (event only) processes. But it has two main novelties: one, it does not need recursion or unique fixed points to model nontermination; and two, the behaviour of divergence is modelled by abstraction, i.e. the construction of the observational semantics.
      Date
      2004-02
      Type
      Working Paper
      Series
      Computer Science Working Papers
      Report No.
      01/2004
      Publisher
      University of Waikato, Department of Computer Science
      Collections
      • 2004 Working Papers [14]
      Show full item record  

      Usage

      Downloads, last 12 months
      20
       
       

      Usage Statistics

      For this itemFor all of Research Commons

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