Show simple item record

dc.contributor.authorBaillie, J.
dc.contributor.authorSmith, D.
dc.date.accessioned2010-10-05T09:56:46Z
dc.date.available2010-10-05T09:56:46Z
dc.date.issued1994
dc.identifier.citationBaillie , J & Smith , D 1994 , A conservative extension to CCS for true concurrency semantics . UH Computer Science Technical Report , vol. 200 , University of Hertfordshire .
dc.identifier.otherPURE: 90577
dc.identifier.otherPURE UUID: a690583e-d6ab-4193-8b17-32797a341277
dc.identifier.otherdspace: 2299/4879
dc.identifier.urihttp://hdl.handle.net/2299/4879
dc.description.abstractIn this paper we develop the theory of Concurrent CCS. CCCS is achieved by (i)a new action prefix operator, which 'ties together' its operands so that they occur simultaneously, (ii) a new parallel composition operator and (iii) the possibility of multiway synchronization.en
dc.language.isoeng
dc.publisherUniversity of Hertfordshire
dc.relation.ispartofseriesUH Computer Science Technical Report
dc.rightsOpen
dc.titleA conservative extension to CCS for true concurrency semanticsen
dc.contributor.institutionSchool of Computer Science
dc.contributor.institutionCentre for Computer Science and Informatics Research
dc.relation.schoolSchool of Computer Science
dcterms.dateAccepted1994
rioxxterms.typeOther
herts.preservation.rarelyaccessedtrue
herts.rights.accesstypeOpen


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record