25th CONCUR 2014: Rome, Italy

Refine list

showing all ?? records

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