Advertisement

CONCUR 2001 — Concurrency Theory

12th International Conference Aalborg, Denmark, August 20–25, 2001 Proceedings

  • Kim G. Larsen
  • Mogens Nielsen

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

Table of contents

  1. Front Matter
    Pages I-XI
  2. Invited Talks

    1. Parosh Aziz Abdulla, Bengt Jonsson
      Pages 1-15
    2. Robin Milner
      Pages 16-35
    3. Shankar Sastry
      Pages 36-36
    4. Steve Schneider
      Pages 37-38
  3. Invited Tutorials

  4. Mobility

    1. Giuseppe Castagna, Giorgio Ghelli, Francesco Zappa Nardelli
      Pages 82-101
    2. Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
      Pages 102-120
    3. Dan Hirsch, Ugo Montanari
      Pages 121-136
    4. Paul C. Attie, Nancy A. Lynch
      Pages 137-151
  5. Probabilistic Systems

    1. Alessandro Aldini
      Pages 152-168
    2. Marta Kwiatkowska, Gethin Norman, Jeremy Sproston
      Pages 169-183
    3. Hagen Völzer
      Pages 184-201
  6. Model Checking

    1. Antti Puhakka, Antti Valmari
      Pages 202-217
    2. Jaco Geldenhuys, Antti Valmari
      Pages 233-247
    3. Patricia Bouyer, Antoine Petit, Denis Thérien
      Pages 248-261
  7. Process Algebra

    1. Gerald Lüttgen, Walter Vogler
      Pages 262-276
    2. Davide Sangiorgi, David Walker
      Pages 292-304
    3. Iain Phillips
      Pages 305-320
  8. Probabilistic Systems

    1. Natalia López, Manuel Núñez
      Pages 321-335
    2. Luca de Alfaro, Thomas A. Henzinger, Ranjit Jhala
      Pages 351-365
  9. Unfoldings and Prefixes

    1. Victor Khomenko, Maciej Koutny
      Pages 366-380
    2. Paolo Baldan, Andrea Corradini, Barbara König
      Pages 381-395
    3. Peter Niebert, Michaela Huhn, Sarah Zennou, Denis Lugiez
      Pages 396-410
  10. Model Checking

    1. Patrice Godefroid, Michael Huth, Radha Jagadeesan
      Pages 426-440
    2. Marsha Chechik, Benet Devereux, Steve Easterbrook, Albert Y. C. Lai, Victor Petrovykh
      Pages 441-455
    3. Chao Wang, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi
      Pages 456-471
    4. Marie Duflot, Laurent Fribourg, Ulf Nilsson
      Pages 472-486
  11. Logic and Compositionality

    1. Yifeng Chen, Sanders J. W.
      Pages 487-501
    2. P. Baldan, A. Corradini, H. Ehrig, R. Heckel
      Pages 502-518
    3. Orna Kupferman, Nir Piterman, Moshe Y. Vardi
      Pages 519-535
  12. Games

    1. Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar
      Pages 536-550
    2. Steve Kremer, Jean-François Raskin
      Pages 551-565
    3. Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang
      Pages 566-581
  13. Back Matter
    Pages 583-583

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 12th International Conference on Concurrency Theory, CONCUR 2001, held in Aalborg, Denmark in August 2001.
The 32 revised full papers presented together with six invited contributions were carefully reviewed and selected from 78 submissions. The papers are organized in topical sections on mobility, probabilistic systems, model checking, process algebra, unfoldings and prefixes, logic and compositionality, and games.

Keywords

Concurrent Processing Constraint Logic Programming Distributed Systems Hybrid Systems Parallel Computing Petri Nets Process Algebras Real-Time Systems Systems Verification algebra concurrency logic model checking

Editors and affiliations

  • Kim G. Larsen
    • 1
  • Mogens Nielsen
    • 2
  1. 1.Department of Computer ScienceBRICS, Aalborg UniversityAalborgDenmark
  2. 2.BRICS, Aarhus UniversityAarhus CDenmark

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-44685-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-42497-0
  • Online ISBN 978-3-540-44685-9
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Electronics
IT & Software
Telecommunications