Algebraische Prozesskalküle
Protokolle
Bitte beachte die Hinweise zu Altklausuren.
Für diese Veranstaltung noch keine eingesandt.
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!)