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

maintained by Schloss Dagstuhl LZI at University of Trier