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.titleA conservative extension to CCS for true concurrency semanticsen
dc.contributor.institutionSchool of Computer Science
dc.contributor.institutionCentre for Computer Science and Informatics Research
rioxxterms.typeOther


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record