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
Version vom 2. April 2012, 22:15 Uhr von Theresa (Diskussion | Beiträge) (Kategorie Fakultäts-ABC muss nicht alle Lehrveranstaltungen enthalten)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)

Prüfungsprotokolle

Bitte beachte die Hinweise zu Altklausuren.

Für diese Veranstaltung noch keine eingesandt.

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

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=18093“