Modelle und Theorie Verteilter Systeme

Algebraische Prozesskalküle

ParameterWert
NiveauMaster, Wahlpflicht in Computer Science (Informatik)
VorkenntnisseAutomatentheorie, Logik, Diskrete Strukturen
LP6
Bestandteile4IV "Algebraic Process Calculi"
SemesterJedes SoSe
PrüfungsformPortfolioprüfung
DetailsModulbeschreibung
MaterialFormelsammlung

News

Status

Dieses Modul ist als Klassiker auf lange Zeit als Kernkompetenz im Fachgebiet MTV vorhanden.  Es wird bereits seit dem Jahre 2000 (für 5 Jahre an der EPFL in Lausanne, seit 2005 an der TU Berlin) weiterentwickelt.  Der Fokus liegt auf der interaktiven Erarbeitung der benötigten Grundlagen, im Zusammenspiel mit darauf folgenden Anwendungs-orientierten Beispielen, die durch die Teilnehmer in eigenen Vorträgen erarbeitet werden.