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.
| Original language | English |
|---|---|
| Publisher | University of Hertfordshire |
| Publication status | Published - 1994 |
Publication series
| Name | UH Computer Science Technical Report |
|---|---|
| Publisher | University of Hertfordshire |
| Volume | 200 |