PNL: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
fsrwiki_>1illig K Fehler im Skript, WS 2004 |
K Bot: Kosmetische Änderungen |
||
| (6 dazwischenliegende Versionen von 3 Benutzern werden nicht angezeigt) | |||
| Zeile 1: | Zeile 1: | ||
Die Vorlesung '''Prozesse und Nebenläufigkeit (PNL)''' ist eine [[ | Die Vorlesung '''Prozesse und Nebenläufigkeit (PNL)''' ist eine [[Grundlagenveranstaltung]] im [[Hauptstudium]]. | ||
= Inhalt = | = Inhalt = | ||
| Zeile 11: | Zeile 11: | ||
* Systeme von Funktionseinheiten | * Systeme von Funktionseinheiten | ||
[[Kategorie:Grundlagenveranstaltung]] | |||
[[Kategorie:Veranstaltung]] | |||
[[Kategorie:Dba]] | |||
Aktuelle Version vom 8. Juni 2012, 16:37 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