im Grundstudium:

• Theoretische Grundlagen der Informatik 1 (TheGI 1)
  (1. Semester, VL + UE, 4 SWS)
  

im Hauptstudium, Studiengebiet THI:

• Theorie Verteilter Systeme 1: Algebraische Prozesskalküle
  (Integrierte Veranstaltung, VL/UE, 4 SWS)