Algoritmus .

Převod procesu GCCS na systém CCS.  

 ¯

		Volání: 		 TransformujProces(, , , )

		Vstup: 		 proces GCCS ;

		       		 požadované jméno procesu  jako procesu (agenta) CCS ;

		       		 množina všech dosud navštívených stavů ;

		       		 systém definic CCS 

		Výstup: 		 systém definic CCS  rozšířený o definici procesu   

Označme množinu všech následníků aktuálního stavu q. Nechť pro nějaké .

  
Figure: Transformace procesu GCCS na výraz CCS

1. Jestliže , pak .
3. Rozšíříme generovaný systém CCS v následujícím smyslu:
   1. Jestliže , pak .
   2. Jestliže a |Succ(q)|=1, pak
      
      Označme proces vzniklý provedením přechodu procesu P do stavu . Pokud rekurzivně zavoláme: TransformujProces, , ,
   3. Je-li |Succ(q)|>1, pak
      
      Pro každé takové, že voláme: TransformujProces,,,, kde je proces vzniklý provedením přechodu procesu P do stavu .