13th CONCUR 2002: Brno, Czech Republic

Refine list

showing all ?? records

Invited Talks

Invited Tutorials

Verification, Model Checking

Logic

Mobility

Probabilistic Systems

Models of Computation, Process Algebra

Security

Petri Nets

Bisimulation

a service of  Schloss Dagstuhl - Leibniz Center for Informatics