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

      Constructing programs or processes

      Reeves, Steve; Streader, David
      Thumbnail
      Files
      uow-cs-wp-2005-09.pdf
      Published version, 177.9Kb
      Find in your library  
      Citation
      Export citation
      Reeves, S., & Streader, D. (2005). Constructing programs or processes (Working Paper Series 09/2005). Department of Computer Science, University of Waikato.
      Permanent Research Commons link: https://hdl.handle.net/10289/11035
      Abstract
      We define interacting sequential programs, motivated originally by constructivist considerations. We use them to investigate notions of implementation and determinism. Process algebras do not define what can be implemented and what cannot. As we demonstrate it is problematic to do so on the set of all processes. Guided by constructivist notions we have constructed interacting sequential programs which we claim can be readily implemented and are a subset of processes.
      Date
      2005-12
      Type
      Working Paper
      Series
      Computer Science Working Papers
      Report No.
      09/2005
      Publisher
      Department of Computer Science, University of Waikato
      Rights
      © 2005 Steve Reeves and David Streader
      Collections
      • 2005 Working Papers [9]
      Show full item record  

      Usage

      Downloads, last 12 months
      61
       
       

      Usage Statistics

      For this itemFor all of Research Commons

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