Jazyk GCCS je koordinační jazyk vycházející z principů algebry procesů CCS. Souběžný systém je v GCCS specifikován prostřednictvím hierarchie sítí procesů (viz obrázek ) komunikujících přes komunikační kanály. Relevantním modelem komunikace je synchronizace. Při synchronizaci nedochází k předávání hodnot.
Figure: Hierarchická struktura GCCS
Tento zdánlivý nedostatek má ryze technický charakter, jenž nemá vliv na sílu jazyka. Podobně jako do CCS, lze zavést i do GCCS makra umožňující specifikaci systémů s předáváním hodnot. To lze řešit zavedením typového systému pro otypování parametrů komunikačních akcí a kanálů.
Hlavním přínosem využití principů algebry procesů pro definici koordinačního jazyka je podpora abstrakce a modularity prostřednictvím hierarchické struktury komponent a existence formální sémantiky respektující tuto strukturu (strukturní operační sémantika definovaná na přechodových systémech s návěštími). To představuje určitou univerzálnost GCCS, jež umožňuje principiálně integrovat libovolný programovací či specifikační jazyk, který je sémanticky kompatibilní s operační sémantikou GCCS, do výsledného koordinačního modelu.
Výše uvedené vlastnosti umožňují hierarchický návrh souběžných systémů metodami shora-dolů a zdola-nahoru (top-down a bottom-up design). Na rozdíl od koordinačních jazyků, které jsou přímo programovacími jazyky pro implementaci souběžných systémů (např. Objective Linda [], JavaSpaces [],...), je GCCS jazyk určený pro specifikaci a návrh systémů.