) specifikující komunikační protokol, v němž vysílač (sender) komunikuje se dvěma příjemci (, ). Rozebereme si pouze jednu úroveň abstrakce. Rekurzivní zanoření do hloubky v našem případě znamená provedení výpočtu podle algoritmu pro všechny podsystémy, neboť se jedná o procesy určené přechodovými grafy na obrázcích a .
Figure: Popis kořenové sítě transformovaného systému
Síť danou diagramem z obrázku označme . Zvolme nějaké uspořádání systémů v síti, např. , a . Zavoláme algoritmus TransformujSíť(, Spec, ), který vygeneruje systém definic CCS, obsahující násl. definici:
t#tex2html_wrap_inline4917#
Figure: Specifikace procesu sender