Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 
Volume 11 / Issue 12

available in:   PDF (86 kB) PS (84 kB)
 
get:  
Similar Docs BibTeX   Write a comment
  
get:  
Links into Future
 
DOI:   10.3217/jucs-011-12-2034

 

Constructing Programs or Processes

Steve Reeves (Department of Computer Science, University of Waikato, New Zealand)

David Streader (Department of Computer Science, University of Waikato, New Zealand)

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.

Keywords: cause, constructive, determinism, process algebra, refinement

Categories: F.1