CONCUR 2011 – Concurrency Theory

22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings

  • Joost-Pieter Katoen
  • Barbara König
Conference proceedings CONCUR 2011

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

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Parosh Aziz Abdulla
      Pages 1-16
    2. Eli Gafni, Rachid Guerraoui
      Pages 17-27
    3. Wil van der Aalst, Arya Adriansyah, Boudewijn van Dongen
      Pages 28-42
    4. Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke
      Pages 43-59
  3. Real-Time Systems

    1. Patricia Bouyer, Kim G. Larsen, Nicolas Markey, Ocan Sankur, Claus Thrane
      Pages 76-91
    2. Frédéric Herbreteau, B. Srivathsan
      Pages 92-107
  4. Probabilistic Systems

    1. Lei Song, Lijun Zhang, Jens Chr. Godskesen
      Pages 108-123
    2. Tomáš Brázdil, Jan Krčál, Jan Křetínský, Vojtěch Řehák
      Pages 140-155
    3. Ruggero Lanotte, Massimo Merro
      Pages 156-170
  5. Automata

    1. Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Lukáš Holík, Chih-Duo Hong, Richard Mayr et al.
      Pages 187-202
    2. Salvatore La Torre, Margherita Napoli
      Pages 203-218
  6. Separation Logic

    1. Jonathan Hayman
      Pages 219-234
    2. Byron Cook, Christoph Haase, Joël Ouaknine, Matthew Parkinson, James Worrell
      Pages 235-249
    3. C. A. R. Hoare, Akbar Hussain, Bernhard Möller, Peter W. O’Hearn, Rasmus Lerchedahl Petersen, Georg Struth
      Pages 250-264
  7. π-Calculus

    1. Hans Hüttel
      Pages 265-279
    2. Romain Demangeon, Kohei Honda
      Pages 280-296

About these proceedings


This book constitutes the refereed proceedings of the 22nd International Conference on Concurrency Theory, CONCUR 2011, held in Aachen, Germany, September 5-10, 2011.
The 32 revised full papers were carefully reviewed and selected from 94 submissions. The papers are organized in topics such as real-time systems, probabilistic systems, automata, separation logic, π-calculus, Petri nets, process algebra and modeling, verification, games, and bisimulation.


concurrent processes distributed computing model checking probabilistic automata reactive systems systems analysis temporal logics

Editors and affiliations

  • Joost-Pieter Katoen
    • 1
  • Barbara König
    • 2
  1. 1.Software Modeling and VerificationRWTH AachenAachenGermany
  2. 2.Fakultät für Ingenieurwesen, Abteilung für Informatik und Angewandte KognitionswissenschaftUniversität Duisburg-Essen,DuisburgGermany

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-23216-9
  • Online ISBN 978-3-642-23217-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book