University of Hertfordshire

By the same authors

A conservative extension to CCS for true concurrency semantics

Research output: Book/ReportOther report


View graph of relations
Original languageEnglish
PublisherUniversity of Hertfordshire
Publication statusPublished - 1994

Publication series

NameUH Computer Science Technical Report
PublisherUniversity 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.

ID: 90577