Concurrency Theory
General Information
- Lecturer: Prof. Dr. Peter Thiemann
- Assistants: Marius Weidner, Leonardo Mieschendahl (until Dec 31, 2025)
- 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, Slides 14, Handout 14 | rec |
| Tu 2026-01-13 | Petri Nets, Interleaving semantics | Slides 15, Handout 15 | rec |
| Tu 2026-01-20 | Petri Nets, Concurrent semantics | Slides 16, Handout 16 | rec |
| Tu 2026-01-27 | Petri Nets, from guarded CCS | Slides 17, Handout 17 | rec |
| Tu 2026-02-03 | Fundamentals of Session Types | Slides 18 | 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 |
| Mo 2026-01-19 | Petri Nets: Syntax & Semantics | rec |
| Mo 2026-01-26 | True Concurrency Semantics | rec |
| Mo 2026-02-02 | Petri Nets, CCS to Petri Nets and Session Types | rec |
Exam
| Date | Time | Place | Mode |
|---|---|---|---|
| 2026-02-23 | 13-15 | G 082 R 00 006 | written ∣ on paper ∣ closed book |
Exercises
| Date | Due | Material |
|---|---|---|
| Tu 2025-10-28 | Mo 2025-11-03 | Sheet01 |
| Tu 2025-11-04 | Mo 2025-11-10 | Sheet02 |
| Tu 2025-11-11 | Mo 2025-11-17 | Sheet03 |
| Tu 2025-11-18 | Mo 2025-11-24 | Sheet04 |
| Tu 2025-11-25 | Mo 2025-12-01 | Sheet05 |
| Tu 2025-12-02 | Mo 2025-12-08 | Sheet06 |
| Tu 2025-12-09 | Mo 2025-12-15 | Sheet07 |
| Th 2025-12-20 | Mo 2026-01-12 | Sheet08 |
| Tu 2026-01-13 | Mo 2026-01-19 | Sheet09 |
| Tu 2026-01-20 | Mo 2026-01-26 | Sheet10 |
| Tu 2026-01-27 | Mo 2026-02-02 | Sheet11 |