Všimněme si, že jméno každého procesu odpovídajícího podsystému transformované sítě má v horním indexu jméno procesu CCS odpovídající této síti (tedy N). Při rekurzivním sestupu budou takto neustále přibývat horní indexy (, ,...). Tím je zajištěna jednoznačnost definic procesů CCS systému .