A conservative extension to CCS for true concurrency semantics

dc.contributor.author	Baillie, J.
dc.contributor.author	Smith, D.
dc.date.accessioned	2010-10-05T09:56:46Z
dc.date.available	2010-10-05T09:56:46Z
dc.date.issued	1994
dc.identifier.citation	Baillie , 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.other	dspace: 2299/4879
dc.identifier.uri	http://hdl.handle.net/2299/4879
dc.description.abstract	In 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.format.extent	1770799
dc.language.iso	eng
dc.publisher	University of Hertfordshire
dc.relation.ispartofseries	UH Computer Science Technical Report
dc.title	A conservative extension to CCS for true concurrency semantics	en
dc.contributor.institution	School of Computer Science
dc.contributor.institution	Centre for Computer Science and Informatics Research
rioxxterms.type	Other
herts.preservation.rarelyaccessed	true