Algebraische Prozesskalküle: Unterschied zwischen den Versionen

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

(Nicht unterschriebene Kommentare werden gelöscht!)

@@ Zeile 1: / Zeile 1: @@
-<div id="klausuren" style="float:right; width:20%; margin:10px; padding:10px; background-color:#efefef;">
+{{Vorlage:KlausurBox|titel=Prüfungsprotokolle|klausurliste=
-=== Klausuren ===
+<!-- Bitte hier als Liste einfügen. -->
-</div>
+}}
 '''Algebraische Prozesskalküle''' ist eine [[Basisveranstaltung]] im [[Hauptstudium|Informatik-Hauptstudium]]
@@ Zeile 7: / Zeile 8: @@
 == Inhalt ==
-TODO
+* Simulation/Bisimulation
+** starke Bisimulation
+** schwache Bisimulation
+* Kongruenz und Reaktion
+* Value-Passing CSS
+* Pi-Kalkül
+* Mobility
 == Weblinks ==
@@ Zeile 17: / Zeile 24: @@
 [[Kategorie:Lehrveranstaltungen]]
-[[Kategorie:Fakultäts-ABC]]
-[[Kategorie:Meta:TODO]]
 __NOTOC__