==Syntax==Given a set of action names, the set of CCS processes is defined by the following BNF grammar::formula_1The parts of the syntax are, in the order given above; empty process : the empty process formula_2 is a valid CCS process; action : the process formula_3 can perform an action formula_4 and continue as the process formula_5; process identifier : write formula_6 to use the identifier formula_7 to refer to the process formula_5 (which may contain the identifier formula_7 itself, i.e., recursive definitions are allowed); choice : the process formula_10 can proceed either as the process formula_5 or the process formula_12; parallel composition : formula_13 tells that processes formula_5 and formula_12 exist simultaneously; renaming : formula_16 is the process formula_5 with all actions named formula_4 renamed as formula_19; restriction : formula_20 is the process formula_5 without action formula_4==Related calculi and models==* Communicating Sequential Processes (CSP), developed by Tony Hoare, is a language that arose at a similar time to CCS.
Δεδομένου ενός συνόλου από ονόματα ενεργειών, το σύνολο των διεργασιών του CCS ορίζεται από την εξής γραμματική BNF::formula_1; κενή διεργασία : η κενή διεργασία formula_2 είναι έγκυρη διεργασία του CCS; ενέργεια : η διεργασία formula_3 μπορεί να εκτελέσει μια ενέργεια formula_4 και συνεχίζει σαν διεργασία formula_5; αναγνωριστικό διεργασίας : γράφεται σαν formula_6 για να χρησιμοποιήσει το αναγνωριστικό formula_7 για να αναφερθεί στη διαδικασία formula_5; επιλογή : η επιλογή formula_9 μπορεί να προχωρήσει είτε σαν διαδικασία formula_5 είτε σαν διαδικασία formula_11; παράλληλη σύνθεση : η formula_12 δηλώνει ότι οι διεργασίες formula_5 και formula_11 υπάρχουν την ίδια στιγμή; μετονομασία : η formula_15 είναι η διεργασία formula_5 με όλες τις ενέργειες με όνομα formula_4 να μετονομάζονται σαν formula_18; περιορισμός : η formula_19 είναι η διεργασία formula_5 χωρίς την ενέργεια formula_4* Επικοινωνούσες Ακολουθιακές Διεργασίες (Communicating Sequential Processes, CSP), από τον Τόνυ Χόαρ, μια γλώσσα που εμφανίστηκε την ίδια εποχή με τον CCS.