dc.contributor.author | Taylor, P.N. | |
dc.date.accessioned | 2010-11-18T14:39:08Z | |
dc.date.available | 2010-11-18T14:39:08Z | |
dc.date.issued | 1995 | |
dc.identifier.citation | Taylor , P N 1995 , The analysis of formal models of communication for the specification of reusable systems (progress report) . UH Computer Science Technical Report , vol. 229 , University of Hertfordshire . | |
dc.identifier.other | dspace: 2299/5018 | |
dc.identifier.uri | http://hdl.handle.net/2299/5018 | |
dc.description.abstract | This research focuses upon the reuse of processes in numerous environments. It is primarily concerned with investigating the relationship between sub-types, inheritance and reuse within the context of process algebras. A fundamental issue underlying all of the research is the idea of communication and synchronisation between processes and the effect that modification has upon that communication. | en |
dc.format.extent | 3447942 | |
dc.language.iso | eng | |
dc.publisher | University of Hertfordshire | |
dc.relation.ispartofseries | UH Computer Science Technical Report | |
dc.title | The analysis of formal models of communication for the specification of reusable systems (progress report) | en |
dc.contributor.institution | School of Computer Science | |
rioxxterms.type | Other | |
herts.preservation.rarelyaccessed | true | |