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

maintained by Schloss Dagstuhl LZI at University of Trier