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)
(Kategorie Fakultäts-ABC muss nicht alle Lehrveranstaltungen enthalten)
 
(3 dazwischenliegende Versionen von 2 Benutzern werden nicht angezeigt)
Zeile 1: Zeile 1:
<div id="klausuren" style="float:right; width:20%; margin:10px; padding:10px; background-color:#efefef;">
+
{{Vorlage:KlausurBox|titel=Prüfungsprotokolle|klausurliste=
=== Klausuren ===
+
<!-- Bitte hier als Liste einfügen. -->
</div>
+
}}
 +
 
  
 
'''Algebraische Prozesskalküle''' ist eine [[Basisveranstaltung]] im [[Hauptstudium|Informatik-Hauptstudium]]
 
'''Algebraische Prozesskalküle''' ist eine [[Basisveranstaltung]] im [[Hauptstudium|Informatik-Hauptstudium]]
Zeile 7: Zeile 8:
  
 
== Inhalt ==
 
== Inhalt ==
TODO
+
* Simulation/Bisimulation
 +
** starke Bisimulation
 +
** schwache Bisimulation
 +
* Kongruenz und Reaktion
 +
* Value-Passing CSS
 +
* Pi-Kalkül
 +
* Mobility
  
 
== Weblinks ==
 
== Weblinks ==
Zeile 17: Zeile 24:
  
 
[[Kategorie:Lehrveranstaltungen]]
 
[[Kategorie:Lehrveranstaltungen]]
[[Kategorie:Fakultäts-ABC]]
 
[[Kategorie:Meta:TODO]]
 
  
 
__NOTOC__
 
__NOTOC__

Aktuelle Version vom 2. April 2012, 22:15 Uhr

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