Concurrency Theory

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Concurrency Theory

Vorlesungsreihe

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.

Lehrveranstaltungen