Algebraische Prozesskalküle: Unterschied zwischen den Versionen
(→Inhalt) |
Mutax (Diskussion | Beiträge) K (Klausurbox) |
||
| Zeile 1: | Zeile 1: | ||
| − | + | {{Vorlage:KlausurBox|titel=Protokolle|klausurliste= | |
| − | + | <!-- Bitte hier als Liste einfügen. --> | |
| − | + | }} | |
| + | |||
'''Algebraische Prozesskalküle''' ist eine [[Basisveranstaltung]] im [[Hauptstudium|Informatik-Hauptstudium]] | '''Algebraische Prozesskalküle''' ist eine [[Basisveranstaltung]] im [[Hauptstudium|Informatik-Hauptstudium]] | ||
Version vom 6. September 2011, 16:25 Uhr
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!)
