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 | tbd | tbd | rec |
Tutorial
| Date | Topic | Recording |
|---|---|---|
| Mo 2025-11-03 | CCS Syntax & Semantics, LTS and Equivalence | rec |
| Mo 2025-11-10 | Bisimulation | rec |