Algebraische Prozesskalküle: Unterschied zwischen den Versionen
Mutax (Diskussion | Beiträge) K Klausurbox |
Kategorie Fakultäts-ABC muss nicht alle Lehrveranstaltungen enthalten |
||
| (Eine dazwischenliegende Version von einem anderen Benutzer wird nicht angezeigt) | |||
| Zeile 1: | Zeile 1: | ||
{{Vorlage:KlausurBox|titel= | {{Vorlage:KlausurBox|titel=Prüfungsprotokolle|klausurliste= | ||
<!-- Bitte hier als Liste einfügen. --> | <!-- Bitte hier als Liste einfügen. --> | ||
}} | }} | ||
| Zeile 24: | Zeile 24: | ||
[[Kategorie:Lehrveranstaltungen]] | [[Kategorie:Lehrveranstaltungen]] | ||
__NOTOC__ | __NOTOC__ | ||
Aktuelle Version vom 2. April 2012, 22:15 Uhr
Prüfungsprotokolle
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!)