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