A conservative extension to CCS for true concurrency semantics

Baillie, J. and Smith, D. (1994) A conservative extension to CCS for true concurrency semantics. UH Computer Science Technical Report . University of Hertfordshire.
Copy

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.


picture_as_pdf
CSTR+200.pdf

View Download

Atom BibTeX OpenURL ContextObject in Span OpenURL ContextObject Dublin Core MPEG-21 DIDL Data Cite XML EndNote HTML Citation METS MODS RIOXX2 XML Reference Manager Refer ASCII Citation
Export

Downloads