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

(weblink)
(Inhalt)
Zeile 7: Zeile 7:
  
 
== Inhalt ==
 
== Inhalt ==
TODO
+
* Simulation/Bisimulation
 +
** starke Bisimulation
 +
** schwache Bisimulation
 +
* Kongruenz und Reaktion
 +
* Value-Passing CSS
 +
* Pi-Kalkül
 +
* Mobility
  
 
== Weblinks ==
 
== Weblinks ==

Version vom 22. Juli 2009, 12:32 Uhr

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

Weblinks

Tipps und persönliche Kommentare

(Nicht unterschriebene Kommentare werden gelöscht!)