CONCUR 2003 - Concurrency Theory

14th International Conference, Marseille, France, September 3-5, 2003. Proceedings

  • Roberto Amadio
  • Denis Lugiez
Conference proceedings CONCUR 2003
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2761)

Table of contents

  1. Front Matter
  2. Partial Orders and Asynchronous Systems

    1. Albert Benveniste, Stefan Haar, Eric Fabre, Claude Jard
      Pages 1-26
    2. Alin Ştefănescu, Javier Esparza, Anca Muscholl
      Pages 27-41
    3. Rajeev Alur, Swarat Chaudhuri, Kousha Etessami, Sudipto Guha, Mihalis Yannakakis
      Pages 42-56
  3. Process Algebra

    1. Rob van Glabbeek, Frits Vaandrager
      Pages 57-71
    2. Bartek Klin, Paweł Sobociński
      Pages 72-86
  4. Games

    1. Rajeev Alur, Salvatore La Torre, P. Madhusudan
      Pages 128-143
    2. Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
      Pages 144-158
  5. Infinite Systems

    1. Petr Jančar, Antonín Kučera, Faron Moller
      Pages 159-173
    2. Ahmed Bouajjani, Peter Habermehl, Tomáš Vojnar
      Pages 174-190
  6. Probabilistic Automata

    1. Eugene W. Stark, Rance Cleaveland, Scott A. Smolka
      Pages 193-207
    2. Nancy Lynch, Roberto Segala, Frits Vaandrager
      Pages 208-221
  7. Model-Checking

    1. N. Markey, P. Schnoebelen
      Pages 251-265
  8. Model-Checking and HMSC

    1. Arie Gurfinkel, Marsha Chechik
      Pages 266-280
    2. Naoya Nitta, Hiroyuki Seki
      Pages 281-295

About these proceedings

Keywords

Bridging Erfüllbarkeitsproblem der Aussagenlogik Extreme Programming Monitor algorithm concurrency coordination distributed computing formal verification hybrid systems infinite state systems modeling petri nets process algebra verification

Editors and affiliations

  • Roberto Amadio
    • 1
  • Denis Lugiez
    • 2
  1. 1.Université Paris 7, PPS, Case 7014Paris Cedex 13France
  2. 2.LIF, CNRS, Aix-Marseille UniversitéFrance

Bibliographic information

  • DOI https://doi.org/10.1007/b11938
  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-40753-9
  • Online ISBN 978-3-540-45187-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349