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

Algebraische Prozesskalküle

Aus Freitagsrunde

Klausuren

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

Tipps und persönliche Kommentare

(Nicht unterschriebene Kommentare werden gelöscht!)


Abgerufen von „https://wiki.freitagsrunde.org/index.php?title=Algebraische_Prozesskalküle&oldid=12098“