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

maintained by Schloss Dagstuhl LZI at University of Trier