13. CONCUR 2002: Brno, Czech Republic

Invited Talks

Invited Tutorials

Verification, Model Checking

Logic

Mobility

Probabilistic Systems

Models of Computation, Process Algebra

Security

Petri Nets

Bisimulation

maintained by Schloss Dagstuhl LZI at University of Trier