Zum Inhalt springen
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

Aus FreitagsrundenWiki

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 „http://wiki.stageing.freitagsrunde.org//index.php?title=Algebraische_Prozesskalküle&oldid=12098“