A conservative extension to CCS for true concurrency semantics
Baillie, J. and Smith, D.
(1994)
A conservative extension to CCS for true concurrency semantics.
[Report]
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 | Report |
---|---|
Date Deposited | 15 May 2025 15:58 |
Last Modified | 23 Aug 2025 23:02 |
Explore Further
-
picture_as_pdf - CSTR+200.pdf
Share this file
Downloads