Concurrency Theory

Semester:	Wintersemester 2017/18
Veranstalter:	Prof. Noll, Prof. Katoen
Bemerkungen:	https://moves.rwth-aachen.de/teaching/ws-1718/ct/ Aufzeichnung und Schnitt: Christoph Rackwitz

Videos

- 1: Introduction
- Mo, 09.10.2017, 14:15 Uhr
- 2: Calculus of Communicating Systems (CCS)
- Do, 12.10.2017, 14:15 Uhr
- 3: Hennessy-Milner Logic
- Mo, 16.10.2017, 14:15 Uhr
- sorry, no recording, technical problems
- 4: Hennessy-Milner Logic with Recursion
- Mo, 23.10.2017, 14:15 Uhr
- 5: Fixed-Point Theory
- Do, 26.10.2017, 14:15 Uhr
- exam will be oral, 50% of exercise points for admission
- 6: Mutually Recursive Equational Systems
- Do, 02.11.2017, 14:15 Uhr
- 7: Modelling and Analysing Mutual Exclusion Algorithms & Value-Passing CCS
- Mo, 06.11.2017, 14:15 Uhr
- 8: The π-Calculus
- Do, 09.11.2017, 14:15 Uhr
- 9: Variations of π-Calculus
- Mo, 13.11.2017, 14:15 Uhr
- 10: Trace Equivalence
- Do, 16.11.2017, 14:15 Uhr
- 11: Strong Bisimulation
- Mo, 20.11.2017, 14:15 Uhr
- sorry, no video
- 12: Strong Bisimulation Properties
- Do, 23.11.2017, 14:15 Uhr
- 13: Bisimulation Games and Fixed Points
- Mo, 27.11.2017, 14:15 Uhr
- 14: Weak Bisimulation
- Do, 30.11.2017, 14:15 Uhr
- 15: Strong Bisimulation and HML
- Mo, 04.12.2017, 14:15 Uhr
- 16: Interleaving Semantics of Petri Nets
- Mo, 11.12.2017, 14:15 Uhr
- 17: True Concurrency Semantics of Petri Nets (I)
- Do, 14.12.2017, 14:15 Uhr
- 18: Branching Processes
- Mo, 18.12.2017, 14:15 Uhr
- 19: McMillan Prefixes
- Mo, 08.01.2018, 14:15 Uhr
- 20: Petri Net Semantics of CCS
- Mo, 15.01.2018, 14:15 Uhr