Algoritmus .

Převod sítě GCCS na systém CCS.

 ¯

		Volání: 		 TransformujSíť(, N, , )

		Vstup: 		 síť , jež je dobře definovaným systémem GCCS;

		       		 požadované jméno sítě  jako procesu (agenta) CCS N;

			 		 množina  již navštívených podsystémů systému ;

		       		 systém definic CCS 

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

Nechť , kde . Pro každý podsystém zavedeme jméno a označme Sub(N) množinu všech takovýchto jmen. Připomeňme označení (z definice ) pro množinu všech volných portů sítě a pro množinu všech sběrnic sítě (zavedené v předchozí sekci).

Dále označme následující množiny:

• #<1856#>BB=B=B#<1860#>BI_i každého podsystému S_i, \:1i|N| označme V_i množinu všech volných portů: F:BAF = $

Nyní přistoupíme k jednotlivým krokům algoritmu:

1. $V=V{N}R_i pro každý podsystém S_iF_i pro každý podsystém S_i Jelikož pro libovolné i,1i|N| je každé F_i korektně definovanou funkcí F_i: ABiN,\:1i|N| a pro každé jN,\:i<j|N|F_iI_i, jejichž jména incidují se jmény portů I_j: Takto rozšířená relace F_i je opět funkcí F_i:AB, neboť triviálně platí: RM: M': S_i, \:1i|N|S_i je síť (označme ji M_subS_i je proces (označme jej P

  }