PNL: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
(Weg mit den veralteten Infos) |
K (Bot: Kosmetische Änderungen) |
||
| (2 dazwischenliegende Versionen von einem anderen Benutzer werden nicht angezeigt) | |||
| Zeile 12: | Zeile 12: | ||
[[Kategorie:Grundlagenveranstaltung]] | [[Kategorie:Grundlagenveranstaltung]] | ||
[[Kategorie:Veranstaltung]] | |||
[[Kategorie:Dba]] | |||
Aktuelle Version vom 8. Juni 2012, 17:37 Uhr
Die Vorlesung Prozesse und Nebenläufigkeit (PNL) ist eine Grundlagenveranstaltung im Hauptstudium.
Inhalt[Bearbeiten]
- 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