Concurrency and distributed systems

The team works on topics from concurrent and distributed systems, studying their properties and fundamental limitations both from a theoretical and application-oriented perspective.

Members

Permanent

Emeritus

Doctorants

Baudouin Pilet

Seminar

For upcoming events in the CDS-MCS seminar organized together with the Model Checking and Synthesis group please consult the seminar page.