25. CONCUR 2014: Rome, Italy

25th Anniversary Talk

Invited Talks

Process Calculi

Model Checking and Abstraction

Synthesis

Quantitative Models

Automata and Multithreading

Complexity

Process Calculi and Types

Categories, Graphs and Quantum Systems

Automata and Time

Games

a service of Schloss Dagstuhl - Leibniz Center for Informatics