Následující algoritmus vrátí ke každému procesu GCCS příslušný systém definic CCS. Algoritmus spočívá v rekurzívním průchodu přechodového grafu procesu počínaje počátečním stavem do hloubky. Přitom se průběžně konstruuje systém definic CCS . Cykly v přechodovém grafu jsou řešeny značením již navštívených stavů. Princip transformace ukazuje obrázek 
.