Sitzung: Jeden Freitag in der Vorlesungszeit ab 16 Uhr c. t. im MAR 0.005. In der vorlesungsfreien Zeit unregelmäßig (Jemensch da?). Macht mit!

Algebraische Prozesskalküle: Unterschied zwischen den Versionen

(Inhalt)
K (Klausurbox)
Zeile 1: Zeile 1:
<div id="klausuren" style="float:right; width:20%; margin:10px; padding:10px; background-color:#efefef;">
+
{{Vorlage:KlausurBox|titel=Protokolle|klausurliste=
=== Klausuren ===
+
<!-- Bitte hier als Liste einfügen. -->
</div>
+
}}
 +
 
  
 
'''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.

Fehler in den Lösungen an uns melden


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!)