22. CONCUR 2011: Aachen, Germany

Invited Talks

Real-Time Systems

Probabilistic Systems

Automata

Separation Logic

ψ-Calculus

Petri Nets

Process Algebra and Modeling

Verification

Games

Bisimulation

a service of Schloss Dagstuhl - Leibniz Center for Informatics