CONCUR 2005 – Concurrency Theory

16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings

  • Martín Abadi
  • Luca de Alfaro
Conference proceedings CONCUR 2005

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

Table of contents

  1. Front Matter
  2. Invited Lectures

  3. Contributed Papers

    1. Christos H. Papadimitriou
      Pages 5-5
    2. Deepak Garg, Frank Pfenning
      Pages 6-20
    3. Damiano Mazza
      Pages 21-35
    4. Franck Cassez, Alexandre David, Emmanuel Fleury, Kim G. Larsen, Didier Lime
      Pages 66-80
    5. Patricia Bouyer, Franck Cassez, François Laroussinie
      Pages 81-94
    6. Cătălin Dima
      Pages 95-109
    7. Houda Bel Mokadem, Béatrice Bérard, Patricia Bouyer, François Laroussinie
      Pages 110-124
    8. Pedro R. D’Argenio, Biniam Gebremichael
      Pages 125-140
    9. Andrzej S. Murawski, Joël Ouaknine
      Pages 156-170
    10. Mohit Bhargava, Catuscia Palamidessi
      Pages 171-185
    11. Andrew D. Gordon, Alan Jeffrey
      Pages 186-201
    12. Christian Haack, Alan Jeffrey
      Pages 202-216
    13. Tomasz Truderung
      Pages 217-232
    14. Detlef Kähler, Ralf Küsters
      Pages 233-247
    15. David de Frutos Escrig, Carlos Gregorio Rodríguez
      Pages 278-292
    16. Roberto Bruni, Fabio Gadducci, Ugo Montanari, Paweł Sobociński
      Pages 293-307
    17. MohammadReza Mousavi, Murdoch J. Gabbay, Michel A. Reniers
      Pages 308-322
    18. Victor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler
      Pages 338-352
    19. Vijay Saraswat, Radha Jagadeesan
      Pages 353-367
    20. Adrian Francalanza, Matthew Hennessy
      Pages 368-382
    21. Roberto Bruni, Michael Butler, Carla Ferreira, Tony Hoare, Hernán Melgratti, Ugo Montanari
      Pages 383-397
    22. Vincent Danos, Jean Krivine
      Pages 398-412
    23. Krishnendu Chatterjee
      Pages 413-427
    24. Hugo Gimbert, Wiesław Zielonka
      Pages 428-442
    25. Hagen Völzer, Daniele Varacca, Ekkart Kindler
      Pages 458-472
    26. Ahmed Bouajjani, Markus Müller-Olm, Tayssir Touili
      Pages 473-487
    27. Aaron R. Bradley, Zohar Manna, Henny B. Sipma
      Pages 488-502
    28. Stéphane Demri, Régis Gascon
      Pages 518-532
    29. Tiziana Margaria, A. Prasad Sistla, Bernhard Steffen, Lenore D. Zuck
      Pages 548-561
    30. Ron van der Meyden, Thomas Wilke
      Pages 562-576
  4. Back Matter

About these proceedings


This volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose of the CONCUR series of conferences is to bring together researchers,developers, and students in order to advance the theory of concurrency and to promote its applications. This year’s conference was in San Francisco, California, from August 23 to August 26. We received 100 submissions in response to a call for papers. Each subm- sionwasassignedto at leastthreemembers ofthe ProgramCommittee; in many cases, reviews were solicited from outside experts. The ProgramCommittee d- cussed the submissions electronically, judging them on their perceived imp- tance, originality, clarity, and appropriateness to the expected audience. The Program Committee selected 38 papers for presentation. Because of the format of the conference and the high number of submissions, many good papers could not be included. Although submissions werereadand evaluated, the papers that appear in this volume may di?er in form and contents from the corresponding submissions. It is expected that many of the papers will be further revised and submitted to refereed archival journals for publication.


algorithm algorithms concurrency distributed programming logic logic programming model checking petri net programming real-time semantics verification

Editors and affiliations

  • Martín Abadi
    • 1
  • Luca de Alfaro
    • 2
  1. 1.University of CaliforniaSanta Cruz
  2. 2.University of CaliforniaSanta CruzUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-28309-6
  • Online ISBN 978-3-540-31934-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software
Energy, Utilities & Environment