© 2009

CONCUR 2009 - Concurrency Theory

20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings

  • Mario Bravetti
  • Gianluigi Zavattaro
Conference proceedings CONCUR 2009

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

Table of contents

  1. Front Matter
  2. Invited Papers

    1. Martín Abadi, Tim Harris
      Pages 1-14
    2. Christel Baier, Nathalie Bertrand, Marcus Größer
      Pages 15-29
    3. Robin Milner
      Pages 30-36
    4. Corrado Priami, Paola Quaglia, Alessandro Romanel
      Pages 37-52
  3. Contributed Papers

    1. Paolo Baldan, Filippo Bonchi, Fabio Gadducci
      Pages 99-114
    2. Nicolas Baudru
      Pages 115-130
    3. Mikołaj Bojańczyk, Tomasz Idziaszek
      Pages 131-145
    4. Filippo Bonchi, Marcello Bonsangue, Jan Rutten, Alexandra Silva
      Pages 146-162
    5. Michele Boreale
      Pages 163-177
    6. Ahmed Bouajjani, Cezara Drăgoi, Constantin Enea, Mihaela Sighireanu
      Pages 178-195
    7. Patricia Bouyer, Marie Duflot, Nicolas Markey, Gabriel Renault
      Pages 196-210
    8. Giuseppe Castagna, Luca Padovani
      Pages 211-228
    9. Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
      Pages 229-243
    10. Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
      Pages 244-258
    11. Wojciech Czerwiński, Sibylle Fröschle, Sławomir Lasota
      Pages 259-273
    12. Yuxin Deng, Rob van Glabbeek, Matthew Hennessy, Carroll Morgan
      Pages 274-288

About these proceedings


This book constitutes the refereed proceedings of the 20th International Conference on Concurrency Theory, CONCUR 2009, held in Bologna, Italy, September 1-4, 2009.

The 37 revised full papers presented together with four invited papers were carefully reviewed and selected from 129 submissions. The topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.


cloud computing concurrent processing concurrent systems data structures distributed computing linear algebra logic model checking performance pervasive computing process calculi systems biology verification

Editors and affiliations

  • Mario Bravetti
    • 1
  • Gianluigi Zavattaro
    • 1
  1. 1.Department of Computer ScienceUniversity of BolognaBolognaItaly

Bibliographic information

Industry Sectors
IT & Software