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.

      Constructing programs or processes

      Reeves, Steve; Streader, David
      Thumbnail
      Files
      content.pdf
      85.75Kb
      Link
       www.jucs.org
      Citation
      Export citation
      Reeves, S., & Streader, D. (2005). Constructing programs or processes. Journal of Universal Computer Science, 11(12), 2034-2045.
      Permanent Research Commons link: https://hdl.handle.net/10289/83
      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-28
      Type
      Journal Article
      Publisher
      Institute for Information Processing and Computer Supported New Media
      Rights
      The Journal of Universal Computer Science is a publication of the Graz University of Technology, which supports the Open Access Initiative for scientific literature. The document is available online
      Collections
      • Computing and Mathematical Sciences Papers [1455]
      Show full item record  

      Usage

      Downloads, last 12 months
      22
       
       

      Usage Statistics

      For this itemFor all of Research Commons

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