Prozeßalgebra (SS05)

Aktuell

Klausurergebnisse:

58005607  1.7
67805839  3.3
87308437  3.3
107904545 1.7
37406829  4.0
37904375  3.3
68100890  1.7
87604991  2.0
88003821  1.3
128100921 3.7
128003650 3.7
108101918 2.7
67807591  n.b
28203121  2.7
123701894 3.7
78202588  1.0
98202075  3.0
27902331  1.0

Klausureinsicht und Scheinabholung: Bei Dirk Pattinson, Zi. E 09, während der Sprechstunde Di 10:00 bis 11:00 und nach Vereinbarung. Keine Sprechstunde am 9.8.2005 und 16.8.2005!

Termine

Vorlesung:

Zeit und Ort: Mo 12-14 Uhr (HS 1.35) und Do 14-16 Uhr (HS 1.35)
Beginn: 11.4.2005

Zeit und Ort:	Mo 12-14 Uhr (HS 1.35) und Do 14-16 Uhr (HS 1.35)
Beginn:	11.4.2005

Übungen:

Zeit und Ort: Mi 12-14 Uhr (HS 1.35)
Beginn: 20.4.2005

Zeit und Ort:	Mi 12-14 Uhr (HS 1.35)
Beginn:	20.4.2005

Inhalt

In der "algebraischen Theorie der Prozesse" - kurz: Prozeßalgebra -, die sich an die Hoaresche Modellsprache CSP anlehnt, werden parallel verknüpfte, über Nachrichten kommunizierende Prozesse durch "Terme" abstrakt dargestellt. Schwerpunkt der Vorlesung ist die Vorstellung der sprachlichen Grundbegriffe dieser Theorie sowie verschiedener semantischer Konzepte und verschiedener axiomatischer Charakterisierungen der Gleichheit solcher Prozeßterme. Außerdem werden Anwendungen der Theorie vorgestellt.