Algebraische Prozesskalküle: Unterschied zwischen den Versionen
(weblink) |
(→Inhalt) |
||
| Zeile 7: | Zeile 7: | ||
== Inhalt == | == Inhalt == | ||
| − | + | * Simulation/Bisimulation | |
| + | ** starke Bisimulation | ||
| + | ** schwache Bisimulation | ||
| + | * Kongruenz und Reaktion | ||
| + | * Value-Passing CSS | ||
| + | * Pi-Kalkül | ||
| + | * Mobility | ||
== Weblinks == | == Weblinks == | ||
Version vom 22. Juli 2009, 12:32 Uhr
Klausuren
Algebraische Prozesskalküle ist eine Basisveranstaltung im Informatik-Hauptstudium
Inhalt
- Simulation/Bisimulation
- starke Bisimulation
- schwache Bisimulation
- Kongruenz und Reaktion
- Value-Passing CSS
- Pi-Kalkül
- Mobility
Weblinks
Tipps und persönliche Kommentare
- (Nicht unterschriebene Kommentare werden gelöscht!)
