In dieser Vorlesung wird die Prozeß-Algebra CCS vorgestellt:
CCS ist eine Sprache zur Beschreibung paralleler Systeme;
speziell kann CCS als parallele Programmiersprache gesehen
werden.
CCS verwendet Operationen wie z.B. |, wobei das System P|Q
aus den parallel arbeitenden Teilsystemen (Unterprogrammen)
P und Q besteht; demgemäß sind Beschreibungen in CCS
algebraische Ausdrücke. Es wird untersucht, wann zwei
Systeme dasselbe leisten; als Ergebnis dieser Untersuchungen
werden Gesetze (wie z.B. P|Q = Q|P) formuliert, mit deren
Hilfe die Korrektheit von Systemen (z.B.
Kommunikationsprotokollen) bewiesen werden kann.
Anmelderegeln
Diese Veranstaltung gehört zum Anmeldeset "Zeitgesteuerte Anmeldung: Algebraische Beschreibung Paralleler Prozesse".