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

Prüfungsprotokolle

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