Praktická část

 
• Korespondence GCCS a CCS
  • Jazyk CCS
    • Definice .
  • Návrh algoritmu transformace systémů GCCS do CCS
    • Transformace procesu
      • Označení:
      • Algoritmus .
      • Diskuse:
      • Příklad .
      • Poznámka:
    • Transformace sítě
      • Algoritmus .
      • Poznámka:
      • Diskuse:
      • Příklad .
      • Věta .
      • Důkaz:
    • Transformace výrazů CCS do GCCS