Advertisement

CONCUR 2004 - Concurrency Theory

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

  • Philippa Gardner
  • Nobuko Yoshida

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
    14. Jan Friso Groote, Tim Willemse
      Pages 308-324
    15. Daniel Hirschkoff
      Pages 325-339
    16. Pavel Krčál, Leonid Mokrushin, P. S. Thiagarajan, Wang Yi
      Pages 340-354
    17. Mojmír Křetínský, Vojtěch Řehák, Jan Strejček
      Pages 355-370
    18. F. Laroussinie, N. Markey, Ph. Schnoebelen
      Pages 387-401
    19. Jérôme Leroux, Grégoire Sutre
      Pages 402-416
    20. Qin Ma, Luc Maranget
      Pages 417-431
    21. Nicolas Markey, Jean-François Raskin
      Pages 432-447
    22. Paul-André Melliès
      Pages 448-465
    23. Daniele Varacca, Hagen Völzer, Glynn Winskel
      Pages 481-496
    24. Vasco Vasconcelos, António Ravara, Simon Gay
      Pages 497-511
    25. Mahesh Viswanathan, Ramesh Viswanathan
      Pages 512-528
  4. Back Matter

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
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
Electronics
IT & Software
Telecommunications