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

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