dblp.uni-trier.de www.uni-trier.de

17. CONCUR 2006: Bonn, Germany

Christel Baier, Holger Hermanns (Eds.): CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings. Lecture Notes in Computer Science 4137 Springer 2006, ISBN 3-540-37376-4 BibTeX

Invited Contributions

Invited Tutorials

Model Check

Process Calculi

Minimization and Equivalence Checking

Types

Semantics

Probability

Bisimulation and Simulation

Real Time

Formal Languages

Copyright © Sat May 16 23:03:17 2009 by Michael Ley (ley@uni-trier.de)