PNL

Aus Fachschaft_Informatik
Zur Navigation springen Zur Suche springen

Die Vorlesung Prozesse und Nebenläufigkeit (PNL) ist eine Grundlagenveranstaltung im Hauptstudium.

Inhalt

  • Prozessalgebra
  • Harel-Graphen (Statecharts)
  • Höhere Petrinetze
  • Verifikation und Model Checking
  • Prozesse und ihre Synchronisation
  • Fehlertolerante Kommunikation in verteilten Systemen
  • Symmetriebrechung mit probabilistischen Verfahren
  • Systeme von Funktionseinheiten