Algebraische Prozesskalküle: Unterschied zwischen den Versionen
Ghandi (Diskussion | Beiträge) weblink |
|||
| 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!)