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.
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.
Item Type | Book |
---|---|
Date Deposited | 15 May 2025 15:58 |
Last Modified | 30 May 2025 23:22 |
Explore Further
-
picture_as_pdf - CSTR+200.pdf
Share this file
Downloads