Constructing programs or processes

Simple item page
dc.contributor.authorReeves, Steveen_US
dc.contributor.authorStreader, Daviden_US
dc.date.accessioned2008-03-19T04:58:25Z
dc.date.available2007-04-29en_US
dc.date.available2008-03-19T04:58:25Z
dc.date.issued2005-12-28en_US
dc.description.abstractWe 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.en_US
dc.format.mimetypeapplication/pdf
dc.identifier.citationReeves, S., & Streader, D. (2005). Constructing programs or processes. Journal of Universal Computer Science, 11(12), 2034-2045.en_US
dc.identifier.urihttps://hdl.handle.net/10289/83
dc.language.isoen
dc.publisherInstitute for Information Processing and Computer Supported New Mediaen_NZ
dc.relation.isPartOfJournal of Universal Computer Scienceen_NZ
dc.relation.urihttp://www.jucs.org/jucs_11_12/constructing_programs_or_processesen_US
dc.rightsThe 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 onlineen_US
dc.subjectcauseen_US
dc.subjectconstructiveen_US
dc.subjectdeterminismen_US
dc.subjectprocess algebraen_US
dc.subjectrefinementen_US
dc.titleConstructing programs or processesen_US
dc.typeJournal Articleen_US
dspace.entity.typePublication
pubs.begin-page2034en_NZ
pubs.end-page2045en_NZ
pubs.issue12en_NZ
pubs.volume11en_NZ

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
content.pdf
Size:
85.75 KB
Format:
Adobe Portable Document Format
Download

Collections

Computing and Mathematical Sciences Papers