17th CONCUR 2006: Bonn, Germany

Refine list

showing all ?? records

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