PNL

Aus Fachschaft_Informatik
Version vom 16. Februar 2006, 13:26 Uhr von fsrwiki_>1illig (Fehler im Skript, WS 2004)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
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

Weblinks

Inhaltliche Fehler im Skript (WS 2004)

  • Seite 80, Abb. 4.7a: Die Bildunterschrift ist falsch. Das Netz ist nicht A-erhaltend.
Abgerufen von „https://www2.informatik.uni-hamburg.de/fachschaft/wiki/index.php?title=PNL&oldid=3092“