Given a set of action names, the set of CCS processes is defined by the following BNF grammar: P ::= ∅ | a .
Δεδομένου ενός συνόλου από ονόματα ενεργειών, το σύνολο των διεργασιών του CCS ορίζεται από την εξής γραμματική BNF: P ::= ∅ | a .