Kommunikation und parallele Prozesse (KommPar)7.5 ECTS
(englische Bezeichnung: Communication and Parallel Processes)

Lehrveranstaltungen:

• • Kommunikation und Parallele Prozesse
    (Vorlesung mit Übung, 4 SWS, Lutz Schröder, Mo, 14:15 - 15:45, 00.131-128; Mi, 14:15 - 15:45, 0.68)

Inhalt:

• Beschriftete Transitionssysteme

• Prozessalgebren

• Starke und schwache Bisimulation

• Hennessy-Milner-Logik

• Modaler mu-Kalkül

Lernziele und Kompetenzen:

Fachkompetenz

Wissen

Die Studierenden geben elementare Definitionen und Fakten zu reaktiven Systemen wieder.

Verstehen

Die Studierenden

• erläutern semantische Grundbegriffe, insbesondere Systemtypen und Systemäquivalenzen, und identifizieren ihre wesentlichen Eigenschaften

• erläutern die Syntax und Semantik von Logiken und Prozesskalkülen

• fassen wesentliche Metaeigenschaften von Logiken und Prozesskalkülen zusammen.

Anwenden

Die Studierenden

• übersetzen Prozessalgebraische Terme in ihre denotationelle und operationelle Semantik

• prüfen Systeme auf verschiedene Formen von Bsimilarität

• prüfen Erfüllheit modaler Fixpunktformeln in gegebenen Systemen

• implementieren nebenläufige Probleme in Prozessalgebren

• spezifizieren das Verhalten nebenläufiger Prozesse im modalen mu-Kalkül.

Analysieren

Die Studierenden

• leiten einfache Meta-Eigenschaften von Kalkülen her

• wählen für die Läsung gegebener nebenläufiger Probleme geeignete Formalismen aus

Evaluieren (Beurteilen)

Die Studierenden

• vergleichen prozessalgebraische und logische Kalküle hinsichtlich Ausdrucksmächtigkeit und Berechenbarkeitseigenschaften

• hinterfragen die Eignung eines Kalküls zur Lösung einer gegebenen Problemstellung

Lern- bzw. Methodenkompetenz

Die Studierenden beherrschen das grundsätzliche Konzept des Beweises als hauptsächliche Methode des Erkenntnisgewinns in der theoretischen Informatik. Sie überblicken abstrakte Begriffsarchitekturen.

Sozialkompetenz

Die Studierenden lösen abstrakte Probleme in kollaborativer Gruppenarbeit.

Literatur:

• Robin Milner, Communication and Concurrency, Prentice-Hall, 1989

• Julian Bradfield and Colin Stirling, Modal mu-calculi. In: Patrick Blackburn, Johan van Benthem and Frank Wolter (eds.), The Handbook of Modal Logic, pp. 721-756. Elsevier, 2006.

• Jan Bergstra, Alban Ponse and Scott Smolka (eds.), Handbook of Process Algebra, Elsevier, 2006.

• L. Aceto, A. Ingolfsdottir, K. Larsen and J. Srba, Reactive Systems, Cambridge University Press, 2011

Weitere Informationen:

Verwendbarkeit des Moduls / Einpassung in den Musterstudienplan:
Das Modul ist im Kontext der folgenden Studienfächer/Vertiefungsrichtungen verwendbar:

1. Informatik (Bachelor of Arts (2 Fächer))
   (Po-Vers. 2010 | TechFak | Informatik (Bachelor of Arts (2 Fächer)) | Vertiefung Informatik I und II | Vertiefungsmodul Theoretische Informatik)
2. Informatik (Bachelor of Arts (2 Fächer))
   (Po-Vers. 2013 | TechFak | Informatik (Bachelor of Arts (2 Fächer)) | Vertiefung Informatik I und II | Vertiefungsmodul Theoretische Informatik)
3. Informatik (Bachelor of Science)
   (Po-Vers. 2009s | TechFak | Informatik (Bachelor of Science) | Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsrichtung Theoretische Informatik)
4. Informatik (Bachelor of Science)
   (Po-Vers. 2009w | TechFak | Informatik (Bachelor of Science) | Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsrichtung Theoretische Informatik)
5. Informatik (Master of Science)
   (Po-Vers. 2010 | TechFak | Informatik (Master of Science) | Wahlpflichtbereich | Säule der theoretisch orientierten Vertiefungsrichtungen | Vertiefungsrichtung Theoretische Informatik)
6. Mathematik (Bachelor of Science)
   (Po-Vers. 2015w | NatFak | Mathematik (Bachelor of Science) | Module des Nebenfachs | Nebenfach Informatik | Vertiefungsmodule | Vertiefungsrichtung Theoretische Informatik)

Studien-/Prüfungsleistungen:

Kommunikation und Parallele Prozesse (Prüfungsnummer: 173107)

Prüfungsleistung, mündliche Prüfung, Dauer (in Minuten): 30, benotet

Anteil an der Berechnung der Modulnote: 100.0 %

weitere Erläuterungen:
Die Modulnote setzt sich zu 50% aus dem Ergebnis einer 30-minütigen mündlichen Prüfung am Semesterende und zu 50% aus den Leistungen aus der Bearbeitung von Übungsaufgaben zusammen.

Prüfungssprache: Deutsch oder Englisch

Erstablegung: WS 2018/2019, 1. Wdh.: SS 2019 (nur für Wiederholer)

1. Prüfer:

Lutz Schröder