Modern society is increasingly dependent on large-scale software systems that are distributed, collaborative, and communication-centred. Tackling the additional complexity that is caused by distributed actors is one of the major tasks in the research area concurrency theory. To understand the behaviour of such systems, concurrency theory studies the modelling, simulation, and verification of concurrent systems. The modelling languages range from graphical approaches such as Event Structures and Petri nets to approaches that are close to programming languages such as process calculi. To analyse such systems different techniques such as type systems, model checking, and interactive theorem proving are adapted to the needs of concurrent systems and new techniques are developed. In this seminar current articles on research in the area of concurrency theory are presented and discussed.
- Dozent*in: Kirstin Peters