BINF-GL-TheGI4: "Theoretische Grundlagen der Theoretischen Informatik 4"

• "Spezifikation und Semantik" (2VL+2UE)
  0434 L 285 [ VV | ISIS ]

BINF-SWT-Show

• "The Software Horror Picture Show" (2SE)
  0434 L 367 [ VV | ISIS ]

MINF-VS-AlgProCalc

• "Algebraische Prozesskalküle" (4IV)
  0434 L 352 [ VV | ISIS ]

MINF-VS-TDC: "Theory of Distributed Computing"
(Gemeinsames Modul mit Fachgebiet INET)

• INET: "Algorithms and Lower Bounds" (2IV)
  0432 L 817 [ VV | ISIS | WWW ]
• MTV: "Formal Models and Semantics" (2IV)
  [ angeboten in 11/12 WiSe ]

MINF-VS-SYNC

• "Synchrone und Asynchrone Interaktion in Verteilten Systemen" (2SE)
  0434 L 353 [ VV | ISIS ]

MINF-VS-VeriSynth

• "Modelle und Analyse Nebenläufiger Systeme" (2SE)
  0434 L 355 [ VV | ISIS ]
• "Halbautomatische Verifikation und Synthese Nebenläufiger Algorithmen" (4PJ)
  0434 L 356  [ VV | ISIS ]