Show simple item record

dc.contributor.authorTaylor, P.N.
dc.date.accessioned2010-11-18T14:39:08Z
dc.date.available2010-11-18T14:39:08Z
dc.date.issued1995
dc.identifier.citationTaylor , 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.otherPURE: 99889
dc.identifier.otherPURE UUID: 18af5cf2-5ae0-48e4-a2fe-e1171d7d1c4a
dc.identifier.otherdspace: 2299/5018
dc.identifier.urihttp://hdl.handle.net/2299/5018
dc.description.abstractThis 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.language.isoeng
dc.publisherUniversity of Hertfordshire
dc.relation.ispartofseriesUH Computer Science Technical Report
dc.titleThe analysis of formal models of communication for the specification of reusable systems (progress report)en
dc.contributor.institutionSchool of Computer Science
rioxxterms.typeOther
herts.preservation.rarelyaccessedtrue


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record