CONCUR 2004 - Concurrency Theory

15th International Conference, London, UK, August 31 - September 3, 2004. Proceedings

  • Philippa Gardner
  • Nobuko Yoshida
Conference proceedings CONCUR 2004

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

Table of contents

  1. Front Matter
  2. Invited Papers

    1. Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof, Yichen Xie
      Pages 1-15
    2. Stephen Brookes
      Pages 16-34
    3. Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Mayank Saksena
      Pages 35-48
    4. Peter W. O’Hearn
      Pages 49-67
  3. Accepted Papers

    1. Roberto M. Amadio, Silvano Dal Zilio
      Pages 68-82
    2. Paolo Baldan, Andrea Corradini, Barbara König
      Pages 83-98
    3. Nicolas Baudru, Rémi Morin
      Pages 99-114
    4. Mikołaj Bojańczyk, Igor Walukiewicz
      Pages 131-145
    5. Benedikt Bollig, Martin Leucker
      Pages 146-160
    6. Johannes Borgström, Sébastien Briais, Uwe Nestmann
      Pages 161-176
    7. Liana Bozga, Cristian Ene, Yassine Lakhnech
      Pages 177-192
    8. Tomáš Brázdil, Antonín Kučera, Oldřich Stražovský
      Pages 193-208
    9. Glenn Bruns, Radha Jagadeesan, Alan Jeffrey, James Riely
      Pages 209-224
    10. Michele Bugliesi, Dario Colazzo, Silvia Crafa
      Pages 225-239
    11. Corina Cîrstea, Dirk Pattinson
      Pages 258-275
    12. Edmund Clarke, Muralidhar Talupur, Tayssir Touili, Helmut Veith
      Pages 276-291
    13. Vincent Danos, Jean Krivine
      Pages 292-307

About these proceedings

Keywords

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

Editors and affiliations

  • Philippa Gardner
    • 1
  • Nobuko Yoshida
    • 2
  1. 1.Department of ComputingImperial College LondonLondonUK
  2. 2.Department of ComputingImperial CollegeLondonUK

Bibliographic information

  • DOI https://doi.org/10.1007/b100113
  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-22940-7
  • Online ISBN 978-3-540-28644-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book