Advertisement

CONCUR 2009 - Concurrency Theory

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

  • Mario Bravetti
  • Gianluigi Zavattaro

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
    13. Josée Desharnais, François Laviolette, Amélie Turgeon
      Pages 289-304
    14. Vashti Galpin, Luca Bortolussi, Jane Hillston
      Pages 305-320
    15. Richard Garner, Tom Hirschowitz, Aurélien Pardon
      Pages 321-337
    16. Sergio Giro, Pedro R. D’Argenio, Luis María Ferrer Fioriti
      Pages 338-353
    17. Julian Gutierrez, Julian Bradfield
      Pages 354-368
    18. Christoph Haase, Stephan Kreutzer, Joël Ouaknine, James Worrell
      Pages 369-383
    19. Matthew Hague, C. -H. Luke Ong
      Pages 384-398
    20. C. A. R. Tony Hoare, Bernhard Möller, Georg Struth, Ian Wehrman
      Pages 399-414
    21. Marcin Jurdziński, Marta Kwiatkowska, Gethin Norman, Ashutosh Trivedi
      Pages 415-430
    22. Wouter Kuijper, Jaco van de Pol
      Pages 431-447
    23. Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani
      Pages 448-462
    24. Calvin Newport, Nancy Lynch
      Pages 481-495
    25. Joël Ouaknine, Alexander Rabinovich, James Worrell
      Pages 496-510
    26. Jérémy Planul, Ricardo Corin, Cédric Fournet
      Pages 511-526
    27. Pavithra Prabhakar, Sayan Mitra, Mahesh Viswanathan
      Pages 527-541
    28. Francesco Ranzato, Francesco Tapparo
      Pages 542-556
    29. Pierre-Alain Reynier, Arnaud Sangnier
      Pages 557-571
    30. Ismael Rodríguez
      Pages 572-586
    31. Matthias Schmalz, Daniele Varacca, Hagen Völzer
      Pages 587-602
    32. Anu Singh, C. R. Ramakrishnan, Scott A. Smolka
      Pages 603-619
  4. Back Matter

About these proceedings

Introduction

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.

Keywords

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

  • DOI https://doi.org/10.1007/978-3-642-04081-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-04080-1
  • Online ISBN 978-3-642-04081-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site