Nejprve neformálně popíšeme strukturu syntaxe a sémantiky jazyka, která již byla naznačena příkladem v předchozí sekci. Následně pak přistoupíme k formální definici termů GCCS. Pro tyto termy potom formálně zadefinujeme sémantiku.
