Poznámka:

Jak je uvedeno v [], proces, jako systém GCCS, může být určen obecným přechodovým systémem s návěštími. To umožňuje specifikaci nekonečně stavových systémů na úrovni vrstvy procesů jazyka GCCS. Kdybychom připustili tuto možnost, narazíme na problém grafického znázornění potenciálně nekonečně stavového přechodového systému. V souladu s praktickou částí se zde zaměříme na konečně stavové systémy a omezíme definici procesu GCCS na konečný přechodový systém s návěštími.