CONCUR 2006 – Concurrency Theory

17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings

  • Christel Baier
  • Holger Hermanns
Conference proceedings CONCUR 2006

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4137)

Table of contents

  1. Front Matter
  2. Invited Contributions

    1. Xiaojun Liu, Eleftherios Matsikoudis, Edward A. Lee
      Pages 1-15
    2. Clemens Grabmayer, Jan Willem Klop, Bas Luttik
      Pages 16-36
    3. Orna Kupferman
      Pages 37-51
  3. Invited Tutorials

  4. Model Checking

    1. Stefan Leue, Alin Ştefănescu, Wei Wei
      Pages 79-94
    2. Parosh Aziz Abdulla, Bengt Jonsson, Ahmed Rezine, Mayank Saksena
      Pages 95-109
  5. Process Calculi

    1. Rob van Glabbeek, Marc Voorhoeve
      Pages 126-141
    2. Flavio Corradini, Maria Rita Di Berardini, Walter Vogler
      Pages 142-157
    3. Yoshinao Isobe, Markus Roggenbach
      Pages 158-172
    4. Maciej Koutny, Marta Pietkiewicz-Koutny
      Pages 173-187
  6. Minimization and Equivalence Checking

    1. Henri Hansen, Antti Valmari
      Pages 188-202
    2. Viraj Kumar, P. Madhusudan, Mahesh Viswanathan
      Pages 203-217
    3. Tachio Terauchi, Alex Aiken
      Pages 218-232
  7. Types

    1. Naoki Kobayashi
      Pages 233-247
    2. Lars Birkedal, Søren Debois, Thomas Hildebrandt
      Pages 248-262
  8. Semantics

    1. Paolo Baldan, Fabio Gadducci, Ugo Montanari
      Pages 279-294
    2. Roberto Bruni, Hernán Melgratti, Ugo Montanari
      Pages 295-309
    3. Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Daniele Varacca
      Pages 310-326
  9. Probability

    1. Eugene W. Stark, Rance Cleaveland, Scott A. Smolka
      Pages 343-357
    2. Tomáš Brázdil, Václav Brožek, Vojtěch Forejt, Antonín Kučera
      Pages 358-374
    3. Krishnendu Chatterjee, Thomas A. Henzinger
      Pages 375-389
  10. Bisimulation and Simulation

    1. Damien Pous
      Pages 390-405
    2. Ichiro Hasuo
      Pages 406-420
    3. Taolue Chen, Wan Fokkink
      Pages 421-434
  11. Real Time

    1. Olga Grinchtein, Bengt Jonsson, Paul Pettersson
      Pages 435-449
    2. Patricia Bouyer, Laura Bozzelli, Fabrice Chevalier
      Pages 450-464
    3. Ramzi Ben Salah, Marius Bozga, Oded Maler
      Pages 465-476
  12. Formal Languages

    1. David Kitchin, William R. Cook, Jayadev Misra
      Pages 477-491
    2. Orna Kupferman, Sarai Sheinvald-Faragy
      Pages 492-508
    3. Colin Stirling
      Pages 509-523
  13. Back Matter

About these proceedings


This volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, August 27–30, 2006. The purpose of the CONCUR conference series is to bring together researchers, developers and students in order to advance the theory of concurrency and promote its applications. Interest in this topic is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and their applications and the scientific relevance of their foundations. The scope of CONCUR covers all areas of semantics, logics, and verification techniques for concurrent systems. Topics include basic models and logics of concurrent and distributed computation (such as process algebras, Petri nets, domain theoretic or game theoretic models, modal and temporal logics), specialized models or classes of systems (such as circuits, synchronous systems, real-time and hybrid systems, stochastic systems, databases, mobile and migrating systems, parametric protocols, security protocols), related verification techniques and tools (such as staff space exploration, model-checking, synthesis, abstraction, automated deduction, testing), and related programming models (such as distributed, constraint- or object-oriented, graph rewriting, as well as associated typesystems, static analyses, abstract machines, and environments). This volume starts with five invited papers covering the invited lectures and tutorials of the conference. The remaining 29 papers were selected by the Programme Committee out of 101 submissions after a very intensive reviewing and discussion phase. We would like to thank the members of the Programme Committee and the external reviewers for their excellent and hard work. The conference programme contained three invited lectures and two invited tutorials. 


Bisimulation Computation Tree Logic algorithm automata concurrency concurrent processing concurrent rewriting concurrent systems distributed computing formal language formal verification logic minimization modeling petri ne

Editors and affiliations

  • Christel Baier
    • 1
  • Holger Hermanns
    • 2
  1. 1.Institute for Theoretical Computer ScienceTechnical University DresdenGermany
  2. 2.INRIA, VASY, Grenoble Rhône-AlpesFrance

Bibliographic information

Industry Sectors
IT & Software
Energy, Utilities & Environment