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

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
  • About this book