Poznámka:

Všimněme si, že při konstrukci systému CCS dle výše uvedeného algoritmu značíme jednotlivé procesy CCS jmény stavů původního procesu GCCS, přičemž jako horní index uvádíme požadované jméno (, ) transformovaného procesu GCCS. Tím dostáváme jednoznačnou identifikaci procesů GCCS ve výrazech CCS.