17. CONCUR 2006: Bonn, Germany

Invited Contributions

Invited Tutorials

Model Check

Process Calculi

Minimization and Equivalence Checking

Types

Semantics

Probability

Bisimulation and Simulation

Real Time

Formal Languages

a service of Schloss Dagstuhl - Leibniz Center for Informatics