Hlavním aspektem pro volbu GCCS byl blízký vztah tohoto vizuálního formalizmu ke kalkulu CCS [], pro nějľ existují verifikační nástroje. V této kapitole se budeme zabývat tímto formalizmem podrobněji, přízpůsobíme jej potřebám praktické specifikace orientované zejména na konečně stavové systémy provedením určitých modifikací v jeho definici.
Nejprve na jednoduchém příkladu demonstrujeme základní principy GCCS, dále provedeme neformální přehled syntaxe a sémantiky následovaný formálními definicemi. Na rozdíl od [] rozebereme vliv struktury syntaxe GCCS na konečně stavovost specifikovaných systémů a budeme se podrobně zabývat konzistencí syntaxe GCCS. Za tímto účelem zavedeme pojem dobře definovaného systému. Dále se zaměříme také na vlastnosti hierarchie a modularity.