Constructing programs or processes
Authors
Loading...
Permanent Link
Publisher link
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
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.
Citation
Reeves, S., & Streader, D. (2005). Constructing programs or processes. Journal of Universal Computer Science, 11(12), 2034-2045.
Type
Series name
Date
Publisher
Institute for Information Processing and Computer Supported New Media