Kommunikation und Parallele Prozesse 2015 /CoursesID:784
- Most recent entry on 2015-07-17

Organisational Unit

Lehrstuhl für Informatik 8 (Theoretische Informatik)

Recording type

Vorlesungsreihe

Via

Free

Language

German

  • 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.

Associated Clips

Episode
Title
Lecturer
Updated
Via
Duration
Media
1
Kommunikation und Parallele Prozesse
Prof. Dr. Lutz Schröder
2015-04-16
Free
01:08:32
2
Kommunikation und Parallele Prozesse
Prof. Dr. Lutz Schröder
2015-04-17
Free
01:29:37
3
Kommunikation und Parallele Prozesse
Prof. Dr. Lutz Schröder
2015-04-23
Free
01:16:06
4
Kommunikation und Parallele Prozesse
Prof. Dr. Lutz Schröder
2015-04-24
Free
01:28:40
5
Kommunikation und Parallele Prozesse
Prof. Dr. Lutz Schröder
2015-04-30
Free
01:33:54
6
Kommunikation und Parallele Prozesse
Prof. Dr. Lutz Schröder
2015-05-07
Free
01:29:33
7
Kommunikation und Parallele Prozesse
Prof. Dr. Lutz Schröder
2015-05-08
Free
01:27:02
8
Kommunikation und Parallele Prozesse
Prof. Dr. Lutz Schröder
2015-05-15
Free
01:21:28
9
Kommunikation und Parallele Prozesse
Prof. Dr. Lutz Schröder
2015-05-21
Free
01:31:51
10
Kommunikation und Parallele Prozesse
Prof. Dr. Lutz Schröder
2015-05-22
Free
01:26:37
11
Kommunikation und Parallele Prozesse
Prof. Dr. Lutz Schröder
2015-05-28
Free
01:19:40
12
Kommunikation und Parallele Prozesse
Prof. Dr. Lutz Schröder
2015-05-29
Free
00:58:20
13
Kommunikation und Parallele Prozesse
Prof. Dr. Lutz Schröder
2015-06-11
Free
01:27:10
14
Kommunikation und Parallele Prozesse
Prof. Dr. Lutz Schröder
2015-06-12
Free
01:27:51
15
Kommunikation und Parallele Prozesse
Prof. Dr. Lutz Schröder
2015-06-15
Free
01:27:23
16
Kommunikation und Parallele Prozesse
Prof. Dr. Lutz Schröder
2015-06-22
Free
01:26:20
17
Kommunikation und Parallele Prozesse
Prof. Dr. Lutz Schröder
2015-06-25
Free
01:29:22
18
Kommunikation und Parallele Prozesse
Prof. Dr. Lutz Schröder
2015-07-06
Free
01:31:13
19
Kommunikation und Parallele Prozesse
Prof. Dr. Lutz Schröder
2015-07-17
Free
01:27:56

More courses from Prof. Dr. Lutz Schröder

Schröder, Lutz
Prof. Dr. Lutz Schröder
lecture
2019-07-25
IdM-login
Schröder, Lutz
Prof. Dr. Lutz Schröder
lecture
2012-07-11
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
lecture
2023-02-09
IdM-login
Schröder, Lutz
Prof. Dr. Lutz Schröder
lecture
2014-07-10
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
lecture
2017-07-27
Free

More courses in this category "Technische Fakultät"

Schloss1
M. Sc. Tobias Gold
Tutorial
2020-10-13
IdM-login / Studon
Schloss1
M. Sc. Daniela Wokusch
Tutorial
2020-07-14
IdM-login
Schloss1
Dr.-Ing. Christian Herglotz
lecture
2023-07-14
IdM-login
Schloss1
Prof. Dr. Dirk Schubert
Tutorial
2020-06-05
Studon
Schloss1
M. Sc. Michael Niebauer
Tutorial
2020-06-12
Studon