Concurrency Theory
General Information
- Lecturer: Prof. Dr. Peter Thiemann
- Assistants: Marius Weidner, Leonardo Mieschendahl
- Lecture: R 04 007 Videokonferenz G.-Köhler-Allee 106 and Zoom, Tuesdays 14-16
- Exercises: R 04 007 Videokonferenz G.-Köhler-Allee 106 and Zoom, Mondays 10-12
Lecture
| Date | Topic | Material | Recording |
|---|---|---|---|
| Tu 2025-10-21 | Intro & Overview | Slides 01, Slides 02 | rec |
| Tu 2025-10-28 | Equivalence | Slides 03 | rec |
| Tu 2025-11-04 | Bisimulation and Weak Bisimulation | Slides 04, Handout 04, Slides 05, Handout 05 | rec |
| Tu 2025-11-11 | Properties of Weak Bisimulation, Fixed Points | Slides 06, Handout 06, Slides 07, Handout 07 | rec |
| Tu 2025-11-18 | Fixed Points, Induction, Coinduction | Slides 07*, Handout 07* | rec |
| Tu 2025-11-25 | ABP, Hennessy-Milner Logic | Slides 08, Handout 08, Slides 09, Handout 09 | rec |
| Tu 2025-12-02 | HML with recursion | Slides 10, Handout 10, Slides 11, Handout 11 | rec |
| Tu 2025-12-09 | Mutual recursion, Value-passing CCS | Slides 12, Handout 12 | rec |
| Tu 2025-12-16 | Timed CCS | Slides 13, Handout 13 | rec |
| Tu 2026-01-13 | Petri Nets | Slides 14, Handout 14 | rec |
Tutorial
| Date | Topic | Recording |
|---|---|---|
| Mo 2025-11-03 | CCS Syntax & Semantics, LTS and Equivalence | rec |
| Mo 2025-11-10 | Strong Bisimulation | rec |
| Mo 2025-11-17 | Weak Bisimulation | rec |
| Mo 2025-11-24 | Fixpoint Interpretation & Coinduction | rec |
| Mo 2025-12-01 | HML Formulas | rec |
| Mo 2025-12-08 | HML with Recursion | rec |
| Mo 2025-12-15 | HML with Recursion & Value-Passing CCS | rec |
| Mo 2026-01-12 | Exam Preparation (missing last 20min) | rec |