PNL: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
K (Grundlagenveranstaltung) |
(Weg mit den veralteten Infos) |
||
| Zeile 10: | Zeile 10: | ||
* Symmetriebrechung mit probabilistischen Verfahren | * Symmetriebrechung mit probabilistischen Verfahren | ||
* Systeme von Funktionseinheiten | * Systeme von Funktionseinheiten | ||
[[Kategorie:Grundlagenveranstaltung]] | [[Kategorie:Grundlagenveranstaltung]] | ||
Version vom 14. November 2007, 12:07 Uhr
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