12. CONCUR 2001: Aalborg, Denmark

Invited Talks

Invited Tutorials

Mobility

Probabilistic Systems

Model Checking

Process Algebra

Probabilistic Systems

Unfoldings and Prefixes

Model Checking

Logic and Compositionality

Games

a service of Schloss Dagstuhl - Leibniz Center for Informatics