© 2005

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

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

Industry Sectors
IT & Software
Energy, Utilities & Environment