| dc.contributor.author | Reeves, Steve | en_NZ |
| dc.contributor.author | Streader, David | en_NZ |
| dc.date.accessioned | 2017-05-09T23:36:06Z | |
| dc.date.available | 2005-12 | en_NZ |
| dc.date.available | 2017-05-09T23:36:06Z | |
| dc.date.issued | 2005-12 | en_NZ |
| dc.identifier.citation | Reeves, S., & Streader, D. (2005). Constructing programs or processes (Working Paper Series 09/2005). Department of Computer Science, University of Waikato. | en |
| dc.identifier.issn | 1170-487X | en_NZ |
| dc.identifier.uri | https://hdl.handle.net/10289/11035 | |
| dc.description.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. | |
| dc.format.mimetype | application/pdf | |
| dc.language.iso | en | |
| dc.publisher | Department of Computer Science, University of Waikato | en_NZ |
| dc.relation.ispartofseries | Computer Science Working Papers | |
| dc.rights | © 2005 Steve Reeves and David Streader | |
| dc.title | Constructing programs or processes | en_NZ |
| dc.type | Working Paper | |
| uow.relation.series | 09/2005 | |
| dc.relation.isPartOf | Working Paper Series | en_NZ |
| pubs.confidential | false | en_NZ |
| pubs.elements-id | 53099 | |
