27. CONCUR 2016: Québec City, Canada

Invited Papers

Shared Memory

Verification

Algorithms and Complexity

Distributed Systems

Distances for Probabilistic Systems

Categories

Timed and Parametrized Systems

Logic

Probability

a service of Schloss Dagstuhl - Leibniz Center for Informatics