Advertisement

CONCUR 2008 - Concurrency Theory

19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings

  • Editors
  • Franck van Breugel
  • Marsha Chechik
Conference proceedings CONCUR 2008

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

Table of contents

  1. Front Matter
  2. Invited Papers

  3. Contributed Papers

    1. Martín Abadi, Tim Harris, Katherine F. Moore
      Pages 6-20
    2. Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh
      Pages 21-35
    3. Rachid Guerraoui, Marko Vukolić
      Pages 52-66
    4. Parosh Aziz Abdulla, Pavel Krcal, Wang Yi
      Pages 67-81
    5. S. Akshay, Benedikt Bollig, Paul Gastin, Madhavan Mukund, K. Narayan Kumar
      Pages 82-97
    6. J. C. M. Baeten, P. J. L. Cuijpers, P. J. A. van Tilburg
      Pages 98-113
    7. Ran Canetti, Ling Cheung, Dilsun Kaynar, Nancy Lynch, Olivier Pereira
      Pages 114-130
    8. Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann
      Pages 147-161
    9. Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker
      Pages 162-166
    10. Borzoo Bonakdarpour, Sandeep S. Kulkarni
      Pages 167-171
    11. Klaus Dräger, Bernd Finkbeiner
      Pages 172-186
    12. Simona Orzan, Tim A. C. Willemse
      Pages 187-202
    13. Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara König
      Pages 203-217
    14. Lars Birkedal, Søren Debois, Thomas Hildebrandt
      Pages 218-232
    15. Harmen Kastenberg, Arend Rensink
      Pages 233-247
    16. Rohit Chadha, Mahesh Viswanathan, Ramesh Viswanathan
      Pages 264-278
    17. Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf
      Pages 279-294
    18. Pepijn Crouzen, Holger Hermanns, Lijun Zhang
      Pages 295-309
    19. Philippe Darondeau, Blaise Genest, P. S. Thiagarajan, Shaofa Yang
      Pages 310-324
    20. Dietmar Berwanger, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Sangram Raje
      Pages 325-339
    21. P. Chambart, Ph. Schnoebelen
      Pages 340-355
    22. Mohamed Faouzi Atig, Ahmed Bouajjani, Tayssir Touili
      Pages 356-371
    23. Lucia Acciai, Michele Boreale
      Pages 372-386
    24. Étienne Lozes, Jules Villard
      Pages 387-401
    25. Marco Carbone, Kohei Honda, Nobuko Yoshida
      Pages 402-417
    26. Lorenzo Bettini, Mario Coppo, Loris D’Antoni, Marco De Luca, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida
      Pages 418-433
    27. Petr Jančar, Martin Kot, Zdeněk Sawa
      Pages 434-446
    28. Sjoerd Cranen, MohammadReza Mousavi, Michel A. Reniers
      Pages 447-461
    29. Julian Rathke, Paweł Sobociński
      Pages 462-476
    30. Gianluigi Zavattaro, Luca Cardelli
      Pages 477-491
    31. Simon Bliudze, Joseph Sifakis
      Pages 508-522
  4. Back Matter

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held in Toronto, Canada, August 19-22, 2008.

The 33 revised full papers presented together with 2 tool papers were carefully reviewed and selected from 120 submissions. The topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.

Keywords

Bisimulation acyclic models completeness computational security formal language formal languages model checking nash equilibrium partial order program verification r-automata semantics shared-memory simulation transactional memory

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-85361-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-85360-2
  • Online ISBN 978-3-540-85361-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site