Concurrency Theory

Lecture series

Modern computer systems are often multi-threaded or even fully distributed over several machines and geographical locations. Instead of the well-known sequential computational models (e.g., Turing machines, λ-calculus, etc.), the key notion for describing concurrent computations is that of a ***process***. In this course, we study several phenomena occurring in concurrent computations by means of process calculi, for which we will define and analyze their formal semantics. As one of the key aspects, we ask when two processes are considered to be equivalent.

Courses

Concurrency Theory (SS 2024, Stephan Mennicke)
Concurrency Theory (SS 2023, Stephan Mennicke)
Models of Concurrent Systems (SS 2022, Stephan Mennicke)