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: Unterschied zwischen den Versionen

Aus FreitagsrundenWiki
Theresa (Diskussion | Beiträge)
Kategorie Fakultäts-ABC muss nicht alle Lehrveranstaltungen enthalten
 
(2 dazwischenliegende Versionen von einem anderen Benutzer 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 23: 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

Tipps und persönliche Kommentare

(Nicht unterschriebene Kommentare werden gelöscht!)