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]
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.
Item Type Report
Date Deposited 15 May 2025 15:58
Last Modified 11 Oct 2026 23:11

Explore Further

picture_as_pdf
CSTR+200.pdf
View Download

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

Downloads