Algebraische Prozesskalküle: Unterschied zwischen den Versionen
(neu und jungfräulich) |
(Kategorie Fakultäts-ABC muss nicht alle Lehrveranstaltungen enthalten) |
||
| (4 dazwischenliegende Versionen von 3 Benutzern werden nicht angezeigt) | |||
| Zeile 1: | Zeile 1: | ||
| − | + | {{Vorlage:KlausurBox|titel=Prüfungsprotokolle|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]] | ||
| Zeile 7: | Zeile 8: | ||
== Inhalt == | == Inhalt == | ||
| − | + | * Simulation/Bisimulation | |
| + | ** starke Bisimulation | ||
| + | ** schwache Bisimulation | ||
| + | * Kongruenz und Reaktion | ||
| + | * Value-Passing CSS | ||
| + | * Pi-Kalkül | ||
| + | * Mobility | ||
== Weblinks == | == Weblinks == | ||
| + | * [http://www.isis.tu-berlin.de/course/view.php?id=319 SoSe 2007] | ||
== Tipps und persönliche Kommentare == | == Tipps und persönliche Kommentare == | ||
| Zeile 16: | 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!)
